How to file Mumi bugs

[Felix Lechner via <help-guix@gnu.org>]

Hi,

An effort is under way to bring Mumi [1] and Debbugs [2] closer
together. It's like a giant tongue twister!

Bugs filed against Mumi are in the process of being re-assigned from
'guix' to the 'mumi' package in Debbugs. For the time being, those bugs
may not show up in Mumi anymore, but only in Debbugs. They may appear in
Mumi again in the future.

Please continue to submit patches and bug reports intended for Guix the
way you have. Those filings are not affected.

For issues with Mumi or its command-line tool, however, please send bugs
to submit@debbugs.gnu.org with a first line that reads

   Package: mumi

Filing instructions are also available here:

   https://debbugs.gnu.org/Reporting.html

Please do not send Mumi bug reports to bug-guix@gnu.org anymore.

For help, please reply narrowly to this message (i.e. pick a
list). Thank you!

Kind regards on behalf of the Debbugs and Mumi maintainers,
Felix

[1] https://debbugs.gnu.org
[2] https://issues.guix.gnu.org
[3] https://debbugs.gnu.org/Reporting.html