diff --git a/STABLE_VERSION b/STABLE_VERSION
index ef538c28..ff365e06 100644
--- a/STABLE_VERSION
+++ b/STABLE_VERSION
@@ -1 +1 @@
-3.1.2
+3.1.3