Skip to content

optimize insert_range method of IntervalSet#96895

Merged
bors merged 1 commit intorust-lang:masterfrom
SparrowLii:interval
May 15, 2022
Merged

optimize `insert_range` method of `IntervalSet`#96895
bors merged 1 commit intorust-lang:masterfrom
SparrowLii:interval

Commits

Commits on May 10, 2022