cms-sw/cmssw — pull request #6108 by dmitrijus (2014-10-30 10:47:51+00:00)
Title: Forward port of #5751 to 7_3_X

Forward port of #5751 to 7_3_X