This server has been upgraded to GitLab release 17.10.
5d183455a290562fa92067deb873ecbe21548186
9 commits (diego.gomes@uzh.ch)