From b2ebe6a1d180fca68b5891ecf542f956e7df8331 Mon Sep 17 00:00:00 2001
From: zhitkoff <zhitkoff@gmail.com>
Date: Wed, 30 Aug 2023 11:15:11 -0400
Subject: [PATCH] build-gnu.sh: target GNU release v9.4

---
 util/build-gnu.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/build-gnu.sh b/util/build-gnu.sh
index a6d8de29e..21a231bc0 100755
--- a/util/build-gnu.sh
+++ b/util/build-gnu.sh
@@ -32,7 +32,7 @@ fi
 
 ###
 
-release_tag_GNU="v9.3"
+release_tag_GNU="v9.4"
 
 if test ! -d "${path_GNU}"; then
     echo "Could not find GNU coreutils (expected at '${path_GNU}')"