HI, On 29-05-2023 11:42, Justin B Rye wrote:
Either way, we'll need to amend that release-notes entry for ^-handling, and presumably we'll want a new entry about this to go along with that one.
That was exactly my idea too. Paul
OpenPGP_signature
Description: OpenPGP digital signature
