GNU bug report logs - #69329
[PATCH] Add pointer to bug-mumi@ on home page

Previous Next

Full log

Message #16 received at 69329-done <at> debbugs.gnu.org (full text, mbox):

From: Arun Isaac <arunisaac <at> systemreboot.net>
To: 69329-done <at> debbugs.gnu.org
Cc: Felix Lechner <felix.lechner <at> lease-up.com>
Subject: Re: [PATCH] Add pointer to bug-mumi@ on home page
Date: Fri, 14 Mar 2025 15:02:47 +0000

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

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.