Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Vo branch

Merged michael.simon requested to merge vo-branch into branch-2.7

Merge request reports