From 182abebd8cb5177a791ac452fb87fa19b6782ce9 Mon Sep 17 00:00:00 2001
From: Johnny Willemsen <jwillemsen@remedy.nl>
Date: Mon, 30 Oct 2023 08:25:27 +0100
Subject: [PATCH] [configure] Upgrade to ACE/TAO 7.1.2

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

diff --git a/configure b/configure
index c5aae9c8ba0..35e495a9481 100755
--- a/configure
+++ b/configure
@@ -30,7 +30,7 @@ use ChangeDir;
 
 ## Version of DOC Group ACE/TAO to download, uses the ACE version number
 my $doc_tao2_version = '6.5.20';
-my $doc_tao3_version = '7.1.1';
+my $doc_tao3_version = '7.1.2';
 
 my $backup_timestamp = strftime "%Y-%m-%d-%H-%M-%S", localtime time;