Skip to content

clean up some FIFO facts

Björn Brandenburg requested to merge FIFO-cleanup into master

... by pulling out common reasoning steps and by avoiding the destructing of busy_interval_prefix.

Merge request reports