Hi Joseph, On Mon, 19 Dec 2022 at 23:37, Joseph Turner <[email protected]> wrote:
> > Can we close this report? > > Yes, thank you!! For the record -- maybe next time :-) -- for closing, you need to append -done to the bug number in the email address; as in <[email protected]>. Cheers, simon
