cms-sw/cmssw — pull request #1617 by fwyzard (2013-11-28 13:39:49+00:00)
Title: fix InputSource after automatic merging of #1575 in the THREADED branch

fix InputSource after automatic merging of #1575 in the THREADED branch