Going back to simpler version numbers!

diff --git a/version.php b/version.php
index 0693e0e55d70a2ab8b3bc64e4715f1d36e2232ce..697a6d4716c41287b6e7be73c3cfedacbd040291 100644 (file)
--- a/version.php
+++ b/version.php
@@ -5,7 +5,7 @@
 // database to determine whether upgrades should
 // be performed (see lib/db/*.php)
 
-$version = 2002112800;   // The current version is a date (YYYYMMDDXX)
+$version = 2002120700;   // The current version is a date (YYYYMMDDXX)
 
-$release = "1.0.6.5 dev";  // User-friendly version number
+$release = "1.0.7 dev";  // User-friendly version number