André,

André A. Gomes 写道：
> How can I close this bug report?  Thank you.

When replying, change the NNNNN@debbugs.gnu.org address to 
NNNNN-done@debbugs.gnu.org (or -close, but IME we don't rely on 
the subtle distinction?).

I've done so here.

Kind regards,

T G-R