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