Re: Reporting bugs in Mumi

[Michael Albinus]

Ricardo Wurmus <rekado@elephly.net> writes:

Hi everybody,

>>>> With Mumi now on Savannah, should we ask the Debbugs administrators for
>>>> a 'mumi' package for bugs?
>>>
>>> Yes, that would be lovely. Please do.
>>
>> This should be uncontroversial, but I'm adding Ricardo, the original
>> mumi author, on Cc just in case.
>
> It is indeed uncontroversial.  Please proceed.

So it is my turn now, isn't it?

I need the following information, cf <https://debbugs.gnu.org/Packages.html>
with other projects.

- Project name (I guess it is "mumi")
- Project home page
- Bug mailing list
- Specific bug reporting page (if there is any, otherwise project home page)

Best regards, Michael.