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



Reply via email to