The Gitlab server is succesfully updated to version 17.9.2
53c392f889c0521701d3b3773f62b194e4a1befd
18 commits (rink@win.dtu.dk)
17 commits (rink@dtu.dk)