diff --git a/RELEASE_VERSION b/RELEASE_VERSION
index ef538c281..ff365e06b 100644
--- a/RELEASE_VERSION
+++ b/RELEASE_VERSION
@@ -1 +1 @@
-3.1.2
+3.1.3