Commit 33d38e793e2e4882337e5f42fbbae7d00d343940

Ebrahim Byagowi 2019-06-02T00:19:57

Use a unified bsearch (#1741) A part of #593