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