From 7af4d44ee1ac7bc613714c2351b943d9d5ec7dc7 Mon Sep 17 00:00:00 2001
From: Benjamin Tovar <btovar@nd.edu>
Date: Tue, 13 Apr 2021 16:49:38 -0400
Subject: [PATCH] Bump to 7.2.7

---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index d13d8a87ba..8cc977d405 100755
--- a/configure
+++ b/configure
@@ -10,7 +10,7 @@ MICRO=7
 # 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=RC1
+RELEASE=FINAL
 
 ###########################
 # *** You should not need to change anything below this line. ***