bug-mumi
[Top][All Lists]
Advanced

[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






reply via email to

[Prev in Thread] Current Thread [Next in Thread]