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