Merged
requested to merge 1230-quick-fix-initialise-all-git-submodules-during-setup-process into develop
On Monday, 27th March 9 a.m., the user backend of GitLab will get a reconfiguration. A new login to the web interface may be necessary.