diff --git a/version.php b/version.php
index 998ce9709b0..1c8d72ebcfe 100644
--- a/version.php
+++ b/version.php
@@ -7,6 +7,6 @@
 
 $version = 2004052502;   // The current version is a date (YYYYMMDDXX)
 
-$release = "1.3.2";      // User-friendly version number
+$release = "1.3.2 +";      // User-friendly version number
 
 ?>