Re: Close 10519, and, how to close bug on debbugs?

Daniel- >> How do you actually close a bug? > An email to -done @ debbugs.gnu.org will close the bug. This is > explained in https://elpa.gnu.org/packages/doc/debbugs-ug.html Oh, there's an emacs mode for debbugs. Sounds useful. I'll check it out. That doc doesn't seem to explain that sendi

Re: Close 10519, and, how to close bug on debbugs?

> On 18 Jul 2023, at 18:20, Mike Gran wrote: > > Hi, > > I was looking at https://debbugs.gnu.org/db/pa/lguile.html > and saw that 10519 (add mini-gmp) should be closed. > > How do you actually close a bug? > > Thanks, > Mike Gran An email to -done @ debbugs.gnu.org will close the bug.

Close 10519, and, how to close bug on debbugs?

Hi, I was looking at https://debbugs.gnu.org/db/pa/lguile.html and saw that 10519 (add mini-gmp) should be closed. How do you actually close a bug? Thanks, Mike Gran