This server has been upgraded to GitLab release 17.10.
25b2bbf76f9d564e98860402a714dfc3e103a30c
41 commits (reto.gerber@uzh.ch)