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

Skip to content

Master to merge

sarah.grebing requested to merge masterToMerge into master

Minor fixes for Lulu, interactive cases not working yet.

Merge request reports