Skip to content

replace the hand-written binary search with the library one#65327

Merged
bors merged 2 commits intorust-lang:masterfrom
guanqun:remove-hand-binary-search
Oct 13, 2019
Merged

replace the hand-written binary search with the library one#65327
bors merged 2 commits intorust-lang:masterfrom
guanqun:remove-hand-binary-search

Commits

Commits on Oct 12, 2019