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