claroline/CoreBundle — pull request #94 by ngodfraind (2013-10-15 11:46:33+00:00)
Title: Bugfix

Fixes Claroline/claroline#358