-
Matthias Braun authored
The bug didn't affect any existing code, but the fix is necessary for code I am working on.
c92ceadd
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The bug didn't affect any existing code, but the fix is necessary for code I am working on.