From 1b2a86a2057f96fff3d72e8d2269d6b68c3a8da5 Mon Sep 17 00:00:00 2001
From: Johnny Willemsen <jwillemsen@remedy.nl>
Date: Mon, 30 Oct 2023 08:23:58 +0100
Subject: [PATCH] Next release

    * ACE/bin/copy-local-script.sh:
---
 ACE/bin/copy-local-script.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ACE/bin/copy-local-script.sh b/ACE/bin/copy-local-script.sh
index 34f50086f73eb..02fc5f13f4a5a 100755
--- a/ACE/bin/copy-local-script.sh
+++ b/ACE/bin/copy-local-script.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 for i in *.gz *.bz2 *.zip *.md5; do
-  d=`echo $i | sed 's/\.[tz][ai][rp]/-7.1.2&/'`
+  d=`echo $i | sed 's/\.[tz][ai][rp]/-7.1.3&/'`
   echo "Copying $i to $d"
   cp -ip $i $d
 done