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