The Gitlab server is succesfully updated to version 17.9.2
7d5da9f447b3f643393152acd67a9d970822cbbd
15 commits (rink@dtu.dk)
10 commits (rink@win.dtu.dk)