This server has been upgraded to GitLab release 17.10.
6c489dcaad9c9796aac85e67379ce3696e66ff77
85 commits (reto.gerber@uzh.ch)