claroline/CoreBundle — pull request #468 by arnaudbey (2014-04-01 08:45:22+00:00)
Title: user can't delete his personal workspace (or he sould have a way to create a new one)

Dunno if it was a bug or not, but here is a possible fix (if necessary)