diff --git a/STABLE_VERSION b/STABLE_VERSION
index 94ff29cc..ef538c28 100644
--- a/STABLE_VERSION
+++ b/STABLE_VERSION
@@ -1 +1 @@
-3.1.1
+3.1.2