dmwm/WMCore — pull request #5035 by alexanderrichards (2014-03-24 09:42:30+00:00)
Title: fixing issue #4992

This pull should fix issue #4992