The Gitlab server is succesfully updated to version 17.9.2
2124343dea023048266899264cc404e1b4468c8c
17 commits (rink@win.dtu.dk)
15 commits (rink@dtu.dk)