diff --git a/version.php b/version.php
index 3ce9b94d6ef..79d32700769 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: 20080516)';     // Human-friendly version name
+   $release = '1.8.5+ (Build: 20080517)';     // Human-friendly version name
 
 ?>