-
Andreas Zwinkau authored
* the splitted edge is never critical, so the name was misleading * it might result in an infinite loop fixes opt/jumpthreading5 and opt/jumpthreading5b
2dc83299
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
* the splitted edge is never critical, so the name was misleading * it might result in an infinite loop fixes opt/jumpthreading5 and opt/jumpthreading5b