dmwm/WMCore — pull request #4690 by alexanderrichards (2013-06-18 08:59:54+00:00)
Title: Pull request for issue #4681

Small patch to fix issue #4681