This server has been upgraded to GitLab release 17.10.
6b121fd8fbefb5c2bd3c1166da75b38cc5234b70
76 commits (reto.gerber@uzh.ch)