-
Matthias Braun authored
Optimizing arithmetic with Unknown nodes to a new Unknown node is illegal unless you can prove that the original Unknown node has no other users.
67add5ec
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Optimizing arithmetic with Unknown nodes to a new Unknown node is illegal unless you can prove that the original Unknown node has no other users.