Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #3021 - ttsugriy:bin-search, r=RalfJung
Use Vec's binary search instead of hand-written one.
bors 2023-08-10
parent d37e03a · parent 21889e7 · commit b4c104a
0 files changed, 0 insertions, 0 deletions