The Gitlab server is succesfully updated to version 17.9.2
9d600e13c414a84298751ef7f6ba7db62d1af0d2
1 commit (rink@dtu.dk)
1 commit (rink@win.dtu.dk)