diff --git a/version.php b/version.php
index cba682c5996..08241da769a 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: 20080508)';     // Human-friendly version name
+   $release = '1.8.5+ (Build: 20080509)';     // Human-friendly version name
 
 ?>