diff options
Diffstat (limited to 'gnattools/ChangeLog')
| -rw-r--r-- | gnattools/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gnattools/ChangeLog b/gnattools/ChangeLog index fb2f11cceeb..67950648e82 100644 --- a/gnattools/ChangeLog +++ b/gnattools/ChangeLog @@ -1,3 +1,8 @@ +2022-08-31 Martin Liska <mliska@suse.cz> + + * configure.ac: Remove deprecated ports. + * configure: Regenerate. + 2021-10-22 Eric Gallager <egallager@gcc.gnu.org> PR other/102663 |