This server has been upgraded to GitLab release 17.10.
180259748c4ad7a93d2d9857088a997d7245ec31
105 commits (reto.gerber@uzh.ch)