From c8d144439132d63c2cf8e3ac16959ceee0679ccf Mon Sep 17 00:00:00 2001
From: Benjamin Tovar <btovar@nd.edu>
Date: Tue, 17 Sep 2024 11:18:06 -0400
Subject: [PATCH] Bump to 7.13.1

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

diff --git a/configure b/configure
index ac4e1f8032..8787d02a6f 100755
--- a/configure
+++ b/configure
@@ -5,7 +5,7 @@
 
 MAJOR=7
 MINOR=13
-MICRO=0
+MICRO=1
 
 # 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