cms-sw/cmssw — pull request #5738 by ktf (2014-10-08 11:59:04+00:00)
Title: Forward port  of CMSSW_7_2_X into CMSSW_7_3_X

As requested by @civanch #5643 is ignored in this forward port.