cms-sw/cmssw — pull request #6183 by vadler (2014-11-03 17:12:12+00:00)
Title: 73X - fix config parameter type

This adapts the type of some config parameters to the changes done in #5944 .