Subject: [Mumi] issues.guix.gnu.org doesn't mention bug-guix@

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Wed, 10 Jul 2019 23:56:14 +0200

Guix, Ricardo,

What the subject says.  Actually, the whole welcome message is a 
bit outdated (though I hadn't noticed either): it doesn't jive 
with the common understanding of ‘issue’ in the subdomain.

Kind regards,

T G-R