The Gitlab server is succesfully updated to version 13.10.3
To keep this project going, create a new merge request
