--- a/changelog Mon Oct 29 19:21:15 2012 +0100
+++ b/changelog Thu Nov 01 10:14:41 2012 +0100
@@ -1,6 +1,6 @@
Change Log
----------
-Version 5.3-snapshot-2012mmdd:
+Version 5.3-snapshot-20121101:
- bug fixes
- General
-- introduced a "workspace" directory that is used as the default for opening