Sven,

Did you mean to sign this message with your surname?  Please note 
that *all* mail sent to bug-guix@ and guix-patches@ is public, and 
will create a new bug number to boot: 
<https://issues.guix.gnu.org/51694>.

I've sent a request to the bug tracker admins to remove your name 
from both bugs.  We'll have to see what they say.

We don't manage the Debbugs backend at <https://debbugs.gnu.org> 
ourselves, only the fancy front-end at 
<https://issues.guix.gnu.org>.

Kind regards,

T G-R