From d72c3fcf2d72e97715389762c09bf4c4fe81dc0e Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Wed, 30 Aug 2023 18:13:32 +0200 Subject: doc: Update link to Mumi repository. * doc/guix.texi (Web Services): Update URL of Mumi git repository. Reported-by: Attila Lendvai --- doc/guix.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') 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. -- cgit v1.2.3