The Gitlab server is succesfully updated to version 17.9.2
72ef3dbe3b364e7fede504118f5897a17bb3fe9c
10 commits (mmpe@dtu.dk)