> On 18 Jul 2023, at 18:20, Mike Gran <[email protected]> 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 NNNN-done @ debbugs.gnu.org will close the bug. This is explained in https://elpa.gnu.org/packages/doc/debbugs-ug.html Regards Daniel
- Close 10519, and, how to close bug on debbugs? Mike Gran
- Re: Close 10519, and, how to close bug on debbugs? lloda
- Re: Close 10519, and, how to close bug on debbugs... Mike Gran
- Re: Close 10519, and, how to close bug on deb... Rob Browning
- Re: Close 10519, and, how to close bug on... Maxim Cournoyer
- Re: Close 10519, and, how to close b... Rob Browning
