From 957c8d3d15ac5c0ae84e2e4a2945f182d88379c2 Mon Sep 17 00:00:00 2001
From: jak1 <jak1@themanaworld.org>
Date: Fri, 23 Dec 2022 13:42:01 +0100
Subject: updated mplint repository

---
 tools/ci/jobs/mplint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/ci/jobs/mplint.sh b/tools/ci/jobs/mplint.sh
index 66a056dba..d3508759f 100755
--- a/tools/ci/jobs/mplint.sh
+++ b/tools/ci/jobs/mplint.sh
@@ -19,7 +19,7 @@ export CXXFLAGS="-std=gnu++11"
 do_init
 
 rm -rf mplint || true
-gitclone https://gitlab.com/manaplus mplint.git
+gitclone https://git.themanaworld.org/mana mplint.git
 cd mplint
 run_configure_simple
 run_make
-- 
cgit v1.2.3-70-g09d2