This server has been upgraded to GitLab release 17.10.
af85ce0e8b3f503ccd60b5510cb7320880701544
48 commits (reto.gerber@uzh.ch)