dmwm/WMCore — pull request #4601 by HassenRiahi (2013-05-13 15:52:32+00:00)
Title: Fix Ops proxy argument

As per subject.