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