Re: Reporting bugs in Mumi

[Felix Lechner]

Hi Michael,

On Thu, Feb 08 2024, Michael Albinus wrote:

> any new message on the list gets a new bug number, and will be
> assigned to the mumi project

Will you please say that in different words, please? If the list is used
to report out new bugs, why would messages to the list trigger any of
the stated behaviors?

> And honestly, help-debbugs shouldn't be misused for project specific
> bugs for a longer time.

Should I ask for help-mumi@ on lists.gnu.org instead?

Kind regards
Felix