diff --git a/version b/version
index efd03d13..b48ce58f 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-3.1.11
+3.1.12