-
Matthias Braun authored
simply kill the pins in besched phase, everything is scheduled anyway, while moving Pins around doesn't work in all situations [r25289]
8a70d133
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
simply kill the pins in besched phase, everything is scheduled anyway, while moving Pins around doesn't work in all situations [r25289]