[tor-commits] [orbot/master] Merge pull request #106 from Unpublished/fix_binary_search