This server has been upgraded to GitLab release 17.10.
b9b61e1eb7972d0dad8589f9db56fb4b169988ab
29 commits (diego.gomes@uzh.ch)