claroline/CoreBundle — pull request #799 by maxailloud (2014-08-29 09:28:12+00:00)
Title: Insert badge workspace on awarding log to make them displayable in workspace log page

Fix #600