This server has been upgraded to GitLab release 17.10.
1cc4a74891ce142b65dc63cd7f47c1828dfa2840
3 commits (reto.gerber@uzh.ch)