The Gitlab server is succesfully updated to version 17.9.2
50b41b3b570b70941197ed7eb5828a55ae3585e7
15 commits (rink@dtu.dk)
9 commits (rink@win.dtu.dk)