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

[lloda]

> On 18 Jul 2023, at 18:20, Mike Gran <spk...@yahoo.com> 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