Bump the number for debuggers.

diff --git a/version.php b/version.php
index 18bfa24e85347c66e2ccb3f0bd147b3e9f30375e..5f0d911f028cab4899d6b77976b7ae0f06fcaa63 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 = 2003081600;   // The current version is a date (YYYYMMDDXX)
+$version = 2003081700;   // The current version is a date (YYYYMMDDXX)
 
 $release = "1.1 development";  // User-friendly version number