Simplify SortedRangeSet#compareTo and remove redundant casts#13734
Merged
martint merged 2 commits intotrinodb:masterfrom Aug 18, 2022
Merged
Simplify SortedRangeSet#compareTo and remove redundant casts#13734martint merged 2 commits intotrinodb:masterfrom
SortedRangeSet#compareTo and remove redundant casts#13734martint merged 2 commits intotrinodb:masterfrom