tags 72831 fixed close 72831 31.1 quit >>>>> On Sat, 07 Sep 2024 17:05:34 +0200, Ferdinand Pieper <list_...@pie.tf> >>>>> said:
Ferdinand> Eli Zaretskii <e...@gnu.org> writes: >> Thanks, I'd like to wait for a few days, to let people comment if they >> want. Ferdinand> Sounds good, thanks for handling it. I wrote a NEWS entry for this and made a few minor style and typo edits. Sorry about the delay. Closing. Committed as 8332b4dd07a Robert --