The Gitlab server is succesfully updated to version 17.9.2
fddffc49254f5715b03e7a78d03069f7bbac73ac
15 commits (rink@dtu.dk)
13 commits (rink@win.dtu.dk)