[configure] Upgrade to ACE/TAO 7.1.2

iguessthislldo · Oct 30, 2023 · 182abeb · 182abeb
1 parent 2353978
commit 182abeb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;