The Gitlab server is succesfully updated to version 17.9.2
3d91ecaaebfee21e9864aea9cf8600e6283f8bf5
15 commits (rink@win.dtu.dk)
15 commits (rink@dtu.dk)