The Gitlab server is succesfully updated to version 17.9.2
99a0969895589cb748a2dc78c95fb4489ac8c652
15 commits (rink@dtu.dk)
8 commits (rink@win.dtu.dk)