cms-dev/cms — pull request #178 by fagu (2013-07-30 14:56:00+00:00)
Title: Fixed dump format versioning

As far as I see, currently the new dump format versioning doesn't work, as the version number is not saved to the dump file ;). Furthermore, the version number should be converted to an integer. This commit should fix both issues.