Pierre Neidhardt writes: > Ricardo Wurmus writes: > >> Thanks, closing. > > Hmm? I had already closed it, hadn't I? > I received a confirmation from control@debbugs.gnu.org. Oh, my bad. I only saw a last email without message to *-done@debbugs.gnu.org; didn’t stop to check the current status of the issue first. -- Ricardo