Seemed like a good idea.

diff --git a/version.php b/version.php
index 745d178cd362ad8210bb87844e2cc539394013c5..fe84746e9e7d97cd6782edad3070ea0142652ab6 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 = 2003050401;   // The current version is a date (YYYYMMDDXX)
+$version = 2003050700;   // The current version is a date (YYYYMMDDXX)
 
-$release = "1.0.9 development";  // User-friendly version number
+$release = "1.0.9 development version";  // User-friendly version number