Closed RaduBerinde closed 5 days ago
Updating this function to better handle end-exclusive ranges. In particular, we now merge ranges that "touch", like [a, b) and [b, c].
Informs #3673
This change is
Updating this function to better handle end-exclusive ranges. In particular, we now merge ranges that "touch", like [a, b) and [b, c].
Informs #3673