Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
When the loop ends normally, they would cause a double-free if NDEBUG.