Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
preliminary support for floating point branches [r14765]