diff --git a/version.php b/version.php
index ab15bffbaff..2bc45482402 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: 20100530)';     // Human-friendly version name
+   $release = '1.8.12+ (Build: 20100531)';     // Human-friendly version name
 
 ?>