games-mud/gnome-mud: replace git.gnome.org with gitlab.gnome.org
authorFrancesco Turco <fturco@fastmail.fm>
Sun, 5 Aug 2018 20:22:29 +0000 (22:22 +0200)
committerMart Raudsepp <leio@gentoo.org>
Thu, 16 Aug 2018 21:32:23 +0000 (00:32 +0300)
commitd4bf263c0f6c11fc1481c74228f0f04509045783
tree10b5797ac573ecdbe430cc5554dd098d00449d4e
parent98f0ea76d08261a44d391ee0cc7a95bb342b458f
games-mud/gnome-mud: replace git.gnome.org with gitlab.gnome.org

Closes: https://github.com/gentoo/gentoo/pull/9467
games-mud/gnome-mud/gnome-mud-9999.ebuild