From 9b1ed9db2c04946d2e98e798c6e099bed028e325 Mon Sep 17 00:00:00 2001
From: Benjamin Tovar <btovar@nd.edu>
Date: Thu, 16 Dec 2021 13:41:17 -0500
Subject: [PATCH] bump to 7.4.2

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

diff --git a/configure b/configure
index 32190c7636..9824f7dfa8 100755
--- a/configure
+++ b/configure
@@ -5,7 +5,7 @@
 
 MAJOR=7
 MINOR=4
-MICRO=1
+MICRO=2
 
 # 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