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