This server has been upgraded to GitLab release 17.10.
4e074f1afbb784ce9a9745cc72734fc270fd11ef
58 commits (reto.gerber@uzh.ch)