branch master updated: doc: Update link to Mumi repository.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

rekado pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new d72c3fcf2d doc: Update link to Mumi repository.
d72c3fcf2d is described below

commit d72c3fcf2d72e97715389762c09bf4c4fe81dc0e
Author: Ricardo Wurmus <rekado@elephly.net>
AuthorDate: Wed Aug 30 18:13:32 2023 +0200

    doc: Update link to Mumi repository.
    
    * doc/guix.texi (Web Services): Update URL of Mumi git repository.
    
    Reported-by: Attila Lendvai <attila@lendvai.name>
---
 doc/guix.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index f82bb99069..04e5875925 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -31335,7 +31335,7 @@ The port on which to connect to the database.
 
 @cindex Mumi, Debbugs Web interface
 @cindex Debbugs, Mumi Web interface
-@uref{https://git.elephly.net/gitweb.cgi?p=software/mumi.git, Mumi} is a
+@uref{https://git.savannah.gnu.org/cgit/guix/mumi.git/, Mumi} is a
 Web interface to the Debbugs bug tracker, by default for
 @uref{https://bugs.gnu.org, the GNU instance}.  Mumi is a Web server,
 but it also fetches and indexes mail retrieved from Debbugs.