I'm going to start packaging the release this evening (in about 7 hours).

Any last-minute little bug fixes are very welcome!

diff --git a/version.php b/version.php
index 62f29d13942c6c8d0340490dc2596a74dcc452d7..1578415cc27b520c90581083d0a751761863143c 100644 (file)
--- a/version.php
+++ b/version.php
@@ -5,9 +5,9 @@
 // database to determine whether upgrades should
 // be performed (see lib/db/*.php)
 
-$version = 2003052800;   // The current version is a date (YYYYMMDDXX)
+$version = 2003052900;   // The current version is a date (YYYYMMDDXX)
 
-$release = "1.0.9 RC2";  // User-friendly version number
+$release = "1.0.9";  // User-friendly version number
 
 
 ?>