From: zimoun <[email-masked]>
To: [email-masked]
Date: Wed, 22 Jan 2020 01:45:33 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

close 38706
stop

Dear Assaf,

This bug does not seem related to Guix and the issue seems having been
solved off-list.
Note that "close tag <number>" is not correct to close a bug. Instead,
you need only "close <number>" or send an email to
<number>[email-masked].

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

All the best,
simon