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

Previous Next

Package: mumi;

Reported by: Felix Lechner <felix.lechner <at> lease-up.com>

Date: Fri, 23 Feb 2024 14:52:02 UTC

Severity: normal

Tags: patch

Done: Arun Isaac <arunisaac <at> systemreboot.net>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Felix Lechner <felix.lechner <at> lease-up.com>
To: 69329 <at> debbugs.gnu.org
Cc: Felix Lechner <felix.lechner <at> lease-up.com>
Subject: bug#69329: [PATCH] Add pointer to bug-mumi@ on home page
Date: Fri, 23 Feb 2024 06:09:07 -0800

Hi,

Should we mention bug-guix <at> gnu.org on Mumi's home page?

Kind regards
Felix

Felix Lechner (2):
  {html, config}: Change variable name for Guix patch submissions.
  {html, config}: Add config value for Mumi bug submissions; mention it.

 mumi/config.scm.in     | 3 ++-
 mumi/web/view/html.scm | 9 +++++++--
 2 files changed, 9 insertions(+), 3 deletions(-)


base-commit: ba4750f0d12fedbbc9439c31715f95d0007dce8d
prerequisite-patch-id: 02d62b766b53f1c6bc87549c32c0bc4c3a738f73
-- 
2.41.0
This bug report was last modified 96 days ago.

Previous Next

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