diff --git a/configure b/configure
index 01b1b576f7..6f4547402e 100755
--- a/configure
+++ b/configure
@@ -5,7 +5,7 @@
 
 MAJOR=7
 MINOR=2
-MICRO=11
+MICRO=12
 
 # Optionally set the source/tag for this code (e.g. RC1 or FINAL).  Setting
 # this variable is instead useful for statically naming the source when it will