~ruther/guix-local

fb46c1cedab5d00e6afac46bfa514094d5c9e13f — Ricardo Wurmus 2 years ago 3f83dc5
doc: Update URL of Mumi git repository.

* doc/contributing.texi (Debbugs User Interfaces): Use new repository URL.

Change-Id: Ieccf34be8a103740607d8c115120902dc687d4e7
1 files changed, 1 insertions(+), 1 deletions(-)

M doc/contributing.texi
M doc/contributing.texi => doc/contributing.texi +1 -1
@@ 1862,7 1862,7 @@ browse issues:
interface@footnote{The web interface at
@url{https://issues.guix.gnu.org} is powered by Mumi, a nice piece of
software written in Guile, and you can help!  See
@url{https://git.elephly.net/gitweb.cgi?p=software/mumi.git}.} to browse
@url{https://git.savannah.gnu.org/cgit/guix/mumi.git}.} to browse
bug reports and patches, and to participate in discussions;
@item
@url{https://bugs.gnu.org/guix} lists bug reports;