[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Close 10519, and, how to close bug on debbugs?
From: |
lloda |
Subject: |
Re: Close 10519, and, how to close bug on debbugs? |
Date: |
Tue, 18 Jul 2023 18:31:43 +0200 |
> On 18 Jul 2023, at 18:20, Mike Gran <spk121@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