xwiki/xwiki-platform — pull request #224 by gdelhumeau (2013-11-27 16:51:30+00:00)
Title: XWIKI-9738: Finalize migration from workspaces to the new wiki API.

* Minor fix.