diff --git a/version.php b/version.php
index b8ad860b300..0a54d42da52 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: 20080612)';     // Human-friendly version name
+   $release = '1.8.5+ (Build: 20080613)';     // Human-friendly version name
 
 ?>