This server has been upgraded to GitLab release 17.10.
7f8cb702f81e114dbbe01aba125a8b06dbcbb9ae
17 commits (reto.gerber@uzh.ch)