Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
added get_irn_type_attr() and get_irn_entity_attr() [r7156]