This server has been upgraded to GitLab release 17.10.
0df12789661de397b5dab39c1a7bee7c336e54e7
27 commits (diego.gomes@uzh.ch)