Subject: Re: [PATCH] Add pointer to bug-mumi@ on home page
From: Arun Isaac <[email-masked]>
To: [email-masked]
Cc: Felix Lechner <[email-masked]>
Date: Fri, 14 Mar 2025 15:02:47 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Felix,

Thanks for the patches!

I applied and pushed the second patch after modifying it to include the
message in the footer.
https://git.savannah.gnu.org/cgit/guix/mumi.git/commit/?id=4b2cf90d4f41a57b4f094395e278c5db3bef3a35

I have not applied the first patch. I would like mumi to be a bug
tracker that can support multiple packages (guix, mumi and skribilo at
the moment on issues.guix.gnu.org). So, we need to try and generalize
somehow.

Regards,
Arun