1 files changed, 1 insertions, 1 deletions
diff --git a/version.php b/version.php
index 77d151bb6..858877cfd 100644
--- a/version.php
+++ b/version.php
@@ -14,4 +14,4 @@
 $version = 2012120500;
 
 // Human-friendly version name
-$release = '1.8.11';
+$release = '1.8.12';