From b4b3d94ae2ae0a617f4e00ee7e971493d4776c9e Mon Sep 17 00:00:00 2001
From: Benjamin Tovar <btovar@nd.edu>
Date: Mon, 5 Aug 2024 11:55:10 -0400
Subject: [PATCH] Bump to 7.12.0

---
 configure | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/configure b/configure
index 72b72cd3ef..23f78e3011 100755
--- a/configure
+++ b/configure
@@ -3,14 +3,14 @@
 ###########################
 # *** Set for releases. ***
 
-MAJOR=8
-MINOR=0
+MAJOR=7
+MINOR=12
 MICRO=0
 
 # 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=DEVELOPMENT
+RELEASE=FINAL
 
 ###########################
 # *** You should not need to change anything below this line. ***