The Gitlab server is succesfully updated to version 17.9.2
fef957062c06d54e800adf24324ba7949e6e2a09
16 commits (rink@dtu.dk)
16 commits (rink@win.dtu.dk)