[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#38907: close?
|
From: |
Leo Famulari |
|
Subject: |
bug#38907: close? |
|
Date: |
Sun, 21 Mar 2021 19:50:42 -0400 |
On Sun, Mar 21, 2021 at 12:09:36PM +0100, Brendan Tildesley via Bug reports for
GNU Guix wrote:
> Since 38408 has been pushed, can you close this one if the issue has been
> fixed?
Anyone is able to close (or reopen) a bug :)
It's done with email. For this bug, it can be closed by sending a
message to <38907-done@debbugs.gnu.org>.
The debbugs control interface is described here:
https://debbugs.gnu.org/server-control.html