This server has been upgraded to GitLab release 17.10.
5ecde43824bbd58828fc23810244eade01aa67d6
10 commits (reto.gerber@uzh.ch)