OK, this is IT.

diff --git a/version.php b/version.php
index 00a87dcbd26824589e8e4f70e95d9c6b2aeaee62..6952004b3e43142389dac922427e78661db457c4 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 = 2004052400;   // The current version is a date (YYYYMMDDXX)
+$version = 2004052500;   // The current version is a date (YYYYMMDDXX)
 
-$release = "1.3 -";   // User-friendly version number
+$release = "1.3";   // User-friendly version number
 
 
 ?>