This server has been upgraded to GitLab release 17.10.
42b40b22611a04375150871f70b9a05e8cdd6ccf
49 commits (reto.gerber@uzh.ch)