This server has been upgraded to GitLab release 17.10.
3a4634bbaef010946332efea3a9a8097f20b94ff
21 commits (diego.gomes@uzh.ch)