The Gitlab server is succesfully updated to version 17.9.2
240275f83ca99d625e71b56f321930a5d4a715b7
15 commits (rink@dtu.dk)
4 commits (rink@win.dtu.dk)