On Sat, 2021-04-10 at 05:38 +0000, bo0od wrote:
> Feel free to close this ticket, All stuff should be fixed in config.scm

Closed.  You can close issues yourself by sending a mail to
<47629-done@debbugs.gnu.org> (replace 47629 with issue id).

Greetings,
Maxime.