Subject: bug#36584: closed (Re: [Mumi] issues.guix.gnu.org doesn't mention bug-guix@)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 12 Jul 2019 07:35:02 +0000

Your bug report

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

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
36584: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=36584
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [Mumi] issues.guix.gnu.org doesn't mention bug-guix@
From: Ricardo Wurmus <[email-masked]>
To: Tobias Geerinckx-Rice <[email-masked]>
Cc: [email-masked]
Date: Fri, 12 Jul 2019 09:34:23 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Tobias,

it now mentions bug-guix.

-- 
Ricardo

Subject: [Mumi] issues.guix.gnu.org doesn't mention bug-guix@
From: Tobias Geerinckx-Rice <[email-masked]>
To: [email-masked]
Cc: Ricardo Wurmus <[email-masked]>
Date: Wed, 10 Jul 2019 23:56:14 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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