From 9aaf2dcf9c4c117ce8ffa3f432b59aae1f112652 Mon Sep 17 00:00:00 2001
From: Benjamin Tovar <btovar@nd.edu>
Date: Tue, 30 Apr 2019 10:46:45 -0400
Subject: [PATCH] Bump to 7.0.12RC1

---
 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index 9eeb7e0b0b..e4ad02425f 100755
--- a/configure
+++ b/configure
@@ -5,12 +5,12 @@
 
 MAJOR=7
 MINOR=0
-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
 # not match the branch name (like RC1 or FINAL).
-RELEASE=FINAL
+RELEASE=RC1
 
 ###########################
 # *** You should not need to change anything below this line. ***