Matthias Braun authored
Types need not be in their final form after the new_entity so there is no need to have _d variants like we have with all the graph nodes. You can easily use set_entity_dbg_info() after construction.31025513
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The new service "GitLab at KIT" is available at gitlab.kit.edu. Projects should be migrated independently by the users - see Docs - Migration.