cms-sw/cmssw — pull request #4846 by mark-grimes (2014-07-31 12:02:11+00:00)
Title: Fix printout in #4792

This is #4792 but with an erroneous change to a print out removed.