The Gitlab server is succesfully updated to version 17.10.3
16a13e8cea53b925dc8608caee38b6e36718fddf
161 commits (dave@dtu.dk)