diff --git a/RELEASE b/RELEASE
index 5cb42eb14b..2645a7f91a 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1 +1 @@
-9.12
+9.13