claroline/CoreBundle — pull request #122 by ngodfraind (2013-10-23 16:08:41+00:00)
Title: Bugfix

Fixes Claroline/claroline#371