diff --git a/configure b/configure
index 8c63a6d3cc..ac4e1f8032 100755
--- a/configure
+++ b/configure
@@ -4,7 +4,7 @@
 # *** Set for releases. ***
 
 MAJOR=7
-MINOR=12
+MINOR=13
 MICRO=0
 
 # Optionally set the source/tag for this code (e.g. RC1 or FINAL).  Setting