Bump. It's unbelievable how fast time is going. The last update from

a week ago literally seems like yesterday.

diff --git a/version.php b/version.php
index aadfc81bfca5c48e4632121386213253135b362e..216339ee46ce8fce2b12811e72c57083b8530b7f 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 = 2003120700;   // The current version is a date (YYYYMMDDXX)
+$version = 2003121500;   // The current version is a date (YYYYMMDDXX)
 
 $release = "1.2 development";   // User-friendly version number