Commit 223d8384 by Mario

Mark g_ctf_leaderboard as a change allowed by server admins (also doesn't affect purity)

parent bed637e7
Pipeline #8411016 failed with stages
in 1 minute 56 seconds