This server has been upgraded to GitLab release 17.10.
25b17ad7caf560da05ffb939cfe1501c7854e29b
84 commits (reto.gerber@uzh.ch)