-
Jan Včelák authored
The scheduled time of an event must not be changed when the event is potentially in the heap and the heap is not locked. Otherwise a parallel modification of the heap could break the heap property and the planning might not work reliably. close #390
fe6a0409