[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Reporting bugs in Mumi
From: |
Felix Lechner |
Subject: |
Re: Reporting bugs in Mumi |
Date: |
Thu, 08 Feb 2024 10:09:10 -0800 |
Hi Ricardo & Arun,
On Thu, Feb 08 2024, Michael Albinus wrote:
>> Should I ask for help-mumi@ on lists.gnu.org instead?
>
> Or bug-mumi@, if you want to run it in exclusive mode. But I guess this
> should be sync'ed with Ricardo.
Do you have a preference, please?
Kind regards
Felix
- Re: Reporting bugs in Mumi, (continued)
- Re: Reporting bugs in Mumi, Arun Isaac, 2024/02/08
- Re: Reporting bugs in Mumi, Arun Isaac, 2024/02/08
- Re: Reporting bugs in Mumi, Ricardo Wurmus, 2024/02/08
- Re: Reporting bugs in Mumi, Michael Albinus, 2024/02/08
- Re: Reporting bugs in Mumi, Felix Lechner, 2024/02/08
- Re: Reporting bugs in Mumi, Michael Albinus, 2024/02/08
- Re: Reporting bugs in Mumi, Felix Lechner, 2024/02/08
- Re: Reporting bugs in Mumi, Michael Albinus, 2024/02/08
- Re: Reporting bugs in Mumi, Felix Lechner, 2024/02/08
- Re: Reporting bugs in Mumi, Michael Albinus, 2024/02/08
- Re: Reporting bugs in Mumi,
Felix Lechner <=
- Re: Reporting bugs in Mumi, Arun Isaac, 2024/02/08
- Re: Reporting bugs in Mumi, Felix Lechner, 2024/02/08
- Re: Reporting bugs in Mumi, Michael Albinus, 2024/02/09
- Re: Reporting bugs in Mumi, Bob Proulx, 2024/02/18
- Re: Reporting bugs in Mumi, Felix Lechner, 2024/02/19
- Re: Reporting bugs in Mumi, Arun Isaac, 2024/02/19
- Re: Reporting bugs in Mumi, Felix Lechner, 2024/02/19
- Re: Reporting bugs in Mumi, Arun Isaac, 2024/02/20
- Re: Reporting bugs in Mumi, Felix Lechner, 2024/02/20
- Re: Reporting bugs in Mumi, Michael Albinus, 2024/02/20