This server has been upgraded to GitLab release 17.10.
6e3cbcd18246a7a68afc689dcea07d9a6471eda9
98 commits (reto.gerber@uzh.ch)