Skip to content

improve `busy_intervals_are_bounded_by` definition

Björn Brandenburg requested to merge wip-issue-93 into master

Remove a redundant clause from busy_intervals_are_bounded_by to close #93 (closed).

Merge request reports