When loading a DUMPed file, the reported date is incorrect. See attached patch.
Index: src/Workspace.cc
===================================================================
--- src/Workspace.cc (revision 678)
+++ src/Workspace.cc (working copy)
@@ -704,8 +704,8 @@
out << "DUMPED "
<< setfill('0') << (1900 + t->tm_year) << "-"
- << setw(2) << t->tm_mon << "-"
- << setw(2) << (t->tm_mday + 1) << " "
+ << setw(2) << (t->tm_mon + 1) << "-"
+ << setw(2) << t->tm_mday << " "
<< setw(2) << t->tm_hour << ":"
<< setw(2) << t->tm_min << ":"
<< setw(2) << t->tm_sec << " (GMT"
