The Gitlab server is succesfully updated to version 17.9.2
6a195203e2486d41b02227f6f550864beb8f71e3
14 commits (rink@dtu.dk)
4 commits (rink@win.dtu.dk)