Merge pull request #1391 from joshuaruesweg/patch-5
authorTim Düsterhus <timwolla@googlemail.com>
Sun, 30 Jun 2013 21:08:09 +0000 (14:08 -0700)
committerTim Düsterhus <timwolla@googlemail.com>
Sun, 30 Jun 2013 21:08:09 +0000 (14:08 -0700)
Update UserBulkProcessingForm.class.php


Trivial merge