dmwm/CRABClient — pull request #3972 by mmascher (2013-05-30 14:45:37+00:00)
Title: Fix a bug that occurs while retrieving multiple jobids with the --jobids...

... option