cms-sw/cmssw — pull request #4106 by deguio (2014-06-04 11:47:08+00:00)
Title: Pull for mauro

this PR supersedes #4048