Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
their use. Extended dumper routines to dump constant values. [r287]