This server has been upgraded to GitLab release 17.10.
19c8efd7508fe1c36b9206cd9d776eb80fe2414c
7 commits (reto.gerber@uzh.ch)