[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#69329: [PATCH] Add pointer to bug-mumi@ on home page
From: |
Felix Lechner |
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@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
- bug#69329: [PATCH] Add pointer to bug-mumi@ on home page,
Felix Lechner <=