girder/girder — pull request #477 by zachmullen (2014-11-10 16:41:15+00:00)
Title: Fixes #391. Allow admin users to directly add users to a group

ping @cjh1 @brianhelba