This server has been upgraded to GitLab release 17.10.
c7d7dea16680abd837d945273d33fdad0e13ff34
77 commits (reto.gerber@uzh.ch)