diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-08-30 18:13:32 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-08-30 18:15:16 +0200 |
| commit | d72c3fcf2d72e97715389762c09bf4c4fe81dc0e (patch) | |
| tree | 687c5b01b4ed4e7837842314eb256c085db9bd16 /doc | |
| parent | b74bdf490ed31fc8a652a1a51492f401a7f92209 (diff) | |
doc: Update link to Mumi repository.
* doc/guix.texi (Web Services): Update URL of Mumi git repository.
Reported-by: Attila Lendvai <attila@lendvai.name>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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. |