diff --git a/VERSION b/VERSION
index 0e6b5ab95..ef538c281 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.1.2.dev0
+3.1.2