Hello, Glenn Morris <r...@gnu.org> writes:
> Nicolas Goaziou wrote: > >> Could this bug be marked as done? Thank you. > > Anyone can close any bug by sending mail to eg 18870-done at debbugs. Indeed! Closing it right now. Thank you. > (Thanks for looking at these reports.) (You're welcome.) Regards, -- Nicolas Goaziou 0x80A93738