-
Christoph Mallon authored
Copy it before x87_kill_deads() instead of after it, so x87_kill_deads() does not need to conditionally copy it.
e73a20bf
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Copy it before x87_kill_deads() instead of after it, so x87_kill_deads() does not need to conditionally copy it.