diff --git a/version.php b/version.php
index 947012c6ba8..5f3665bd525 100644
--- a/version.php
+++ b/version.php
@@ -13,6 +13,6 @@
                               // Do not use more than two decimal points as we have
                               // hit the float limit
 
-   $release = '1.8.12+ (Build: 20100518)';     // Human-friendly version name
+   $release = '1.8.12+ (Build: 20100519)';     // Human-friendly version name
 
 ?>