diff --git a/version.php b/version.php
index bf19eb4cd9b..6cf2a625bbc 100644
--- a/version.php
+++ b/version.php
@@ -6,10 +6,10 @@
 // This is compared against the values stored in the database to determine
 // whether upgrades should be performed (see lib/db/*.php)
 
-    $version = 2007101591.13; // YYYYMMDD      = date of the 1.9 branch (don't change)
+    $version = 2007101591.14; // YYYYMMDD      = date of the 1.9 branch (don't change)
                               //         X     = release number 1.9.[0,1,2,3,4,5...]
                               //          Y.YY = micro-increments between releases
 
-    $release = '1.9.17+ (Build: 20120405)';     // Human-friendly version name
+    $release = '1.9.17+ (Build: 20120412)';     // Human-friendly version name
 
 ?>