-
Christoph Mallon authored
The epilogue is added late, in particular after scheduling. Therefore it is not necessary to move a mis-scheduled 'restore' directly before a 'return' anymore.
f6fc60f3
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
The epilogue is added late, in particular after scheduling. Therefore it is not necessary to move a mis-scheduled 'restore' directly before a 'return' anymore.