diff --git a/release/1-31/production/RELEASE b/release/1-31/production/RELEASE
index 45a4fb75db..ec635144f6 100755
--- a/release/1-31/production/RELEASE
+++ b/release/1-31/production/RELEASE
@@ -1 +1 @@
-8
+9