Subject: Re: bug#38907: close?

From: Leo Famulari <[email-masked]>
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 <[email-masked]>.

The debbugs control interface is described here:

https://debbugs.gnu.org/server-control.html