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