The Gitlab server is succesfully updated to version 17.10.3
da7883c1c95bdc26dfed81be8f9a93cc0ca40733
178 commits (dave@dtu.dk)