On 2023-10-20 21:39, Hugo Buddelmeijer wrote:
This issue can be closed as far as I'm concerned, but I don't know how to do that. Let's try this:/close
Add ‘-done’ or ‘-close’ to the bug address, as I've done here. Kind regards, T G-R Sent from a Web browser. Excuse or enjoy my brevity.
