cms-sw/cmssw — pull request #1221 by wmtan (2013-10-29 16:19:48+00:00)
Title: Remove workaround for genreflex bug that has been fixed

Remove the workaround for a genreflex bug that has been fixed