This server has been upgraded to GitLab release 17.10.
25f6dfa9b617fbf48c6ff3cb4adc6c37d4de4813
8 commits (reto.gerber@uzh.ch)