cms-sw/cmssw — pull request #6200 by Martin-Grunewald (2014-11-04 14:04:04+00:00)
Title: Fix of incomplete migration done in PR #5896

Fix of incomplete migration done in PR #5896