This server has been upgraded to GitLab release 17.10.
2ae1efbae53bc8789ded15b2da981b261530d58a
54 commits (reto.gerber@uzh.ch)