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-d...@debbugs.gnu.org>. The debbugs control interface is described here: https://debbugs.gnu.org/server-control.html
