The Gitlab server is succesfully updated to version 17.9.2
bef4ed76b665771fb61ff9e61e50b01cd1fcf5e8
3 commits (rink@dtu.dk)
1 commit (rink@win.dtu.dk)