diff --git a/version.php b/version.php
index 1fd3ce0ff7a..c15df359d0f 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: 20080518)';     // Human-friendly version name
+   $release = '1.8.5+ (Build: 20080519)';     // Human-friendly version name
 
 ?>