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