This server has been upgraded to GitLab release 17.10.
34125ff634e4ea16e332c88af3e816e4e65767b7
86 commits (reto.gerber@uzh.ch)