diff --git a/release b/release
index b00a15d2..d8d4e3b0 100644
--- a/release
+++ b/release
@@ -1 +1 @@
-RELEASE=release-1.12
\ No newline at end of file
+RELEASE=release-1.13
\ No newline at end of file