cms-sw/cmssw — pull request #6094 by vadler (2014-10-29 19:22:58+00:00)
Title: 73X - fix #5944

#5944 introduced a bug, which is discussed there, but wrongly interpreted.
This is fixed here.