This server has been upgraded to GitLab release 17.10.
caec2c3744ca5382e9e00bb71756f1c1bd76b0ce
57 commits (reto.gerber@uzh.ch)