diff --git a/version.php b/version.php
index 065dfdab8be..1957d7ba4b7 100644
--- a/version.php
+++ b/version.php
@@ -10,6 +10,6 @@
                             //         X  = release number 1.8.[0,1,2,3...]
                             //          Y = micro-increments between releases
 
-   $release = '1.8.5+ (Build: 20080530)';     // Human-friendly version name
+   $release = '1.8.5+ (Build: 20080531)';     // Human-friendly version name
 
 ?>