Daily bump.

[thirdparty/gcc.git] / gnattools / ChangeLog

diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog
index 67950648e82e434b1d621ba25843e3d19f9d31dd..4dad53a338000295391db70f6b93218a97754db6 100644 (file)
--- a/gnattools/ChangeLog
+++ b/gnattools/ChangeLog
@@ -1,3 +1,9 @@
+2023-04-25  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * configure.ac (TOOLS_TARGET_PAIRS): Remove obsolete settings.
+       (EXTRA_GNATTOOLS): Likewise.
+       * configure: Regenerate.
+
 2022-08-31  Martin Liska  <mliska@suse.cz>
 
        * configure.ac: Remove deprecated ports.