From 8b0be9cca2ad6e471240e04abd2f2baedd95fee1 Mon Sep 17 00:00:00 2001
From: Benjamin Tovar <btovar@nd.edu>
Date: Fri, 19 Jul 2019 09:20:26 -0400
Subject: [PATCH] Bump to 7.0.16

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

diff --git a/configure b/configure
index ba71854fe8..b4233fda65 100755
--- a/configure
+++ b/configure
@@ -10,7 +10,7 @@ MICRO=16
 # 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. ***