Sharlatan Hellseher <sharlatanus@gmail.com> writes:

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

Great :)

For future reference, anyone can mark issues as done by emailing
XXXXX-done@debbugs.gnu.org, where XXXXX is the issue number.

I've done that now for this issue.

Thanks,

Chris