Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
[134.2-multipartdof-feature-merge] Merge remote-tracking branch 'origin/feature' into 134.2-multipartdof-feature-merge