cms-sw/cmssw — pull request #4453 by pvmulder (2014-06-30 11:45:48+00:00)
Title: bug fix

same as in CMSSW_7_1_X
pull request: https://github.com/cms-sw/cmssw/pull/4452