tags 72866 fixed close 72866 31.1 quit >>>>> On Wed, 4 Sep 2024 15:20:46 +0200, Paul Nelson <[email protected]> said:
Paul> Thanks Robert, I've implemented your suggestions.
Paul> I hope someone will check that I've used "+++" correctly in NEWS,
Paul> affirming that I updated the documentation -- hopefully I didn't miss
Paul> anything.
Looks fine to me. I slightly adjusted your commit message and added
the bug number to it.
Closing.
Committed as 833158c0b78
Robert
--
