diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-04-26 00:17:46 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-04-26 00:17:46 +0000 |
| commit | 49cea02d8bdbde27d202cab887ff38ea341aa82a (patch) | |
| tree | bbd89cf7c4c54073fca80631a71494fe5b3547b1 /gnattools | |
| parent | 064eed39d232b0984a0199a6163e3db68e41671f (diff) | |
| download | gcc-49cea02d8bdbde27d202cab887ff38ea341aa82a.tar.gz | |
Daily bump.
Diffstat (limited to 'gnattools')
| -rw-r--r-- | gnattools/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index 67950648e82..4dad53a3380 100644 --- 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. |