-
Christoph Mallon authored
Now more than one node can be pushed through a Perm. After pushing the first node through a Perm, we next inspected the Perm itself (the new schedule predecessor of the moved node), which obviously cannot be pushed through itself.
e25b0da1