Subject: Re:
From: Christopher Baines <[email-masked]>
To: Sharlatan Hellseher <[email-masked]>
Cc: [email-masked]
Date: Tue, 06 Dec 2022 14:16:06 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Sharlatan Hellseher <[email-masked]> writes:

> Hi Chris,
>
> This issue is resolved now with listed patches applied.

Great :)

For future reference, anyone can mark issues as done by emailing
[email-masked], where XXXXX is the issue number.

I've done that now for this issue.

Thanks,

Chris