tags 72831 fixed close 72831 31.1 quit >>>>> On Sat, 07 Sep 2024 17:05:34 +0200, Ferdinand Pieper <[email protected]> >>>>> said:
Ferdinand> Eli Zaretskii <[email protected]> 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
--
