replace the hand-written binary search with the library one#65327
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 13, 2019
Merged
replace the hand-written binary search with the library one#65327bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on Oct 12, 2019
- committedGuanqun Lu
- committedGuanqun Lu