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