claroline/CoreBundle — pull request #133 by ngodfraind (2013-10-29 11:06:00+00:00)
Title: The list of user in a group can be displayed.

Improving the workspace user tool.