Jean-Pierre De Jesus Diaz <jean@foundation.xyz> skribis:

> Hello,
>
> Sorry for the noise then, didn't notice a fix was already there.
>
> I'm still a bit of a noob with Debbugs, so is there a way to close the
> issue from my side?

No problem. To close an issue, you can just send an email to
<nnnnnn-done@debbugs.gnu.org> or <nnnnnn-close@debbugs.gnu.org> (where
nnnnnn is the issue number), like I did with this email.