patch 8.2.1973: finding a patch number can be a bit slow ยท vim/vim@232f461

Problem: Finding a patch number can be a bit slow. Solution: Use binary search. (closes #7279)
github.com github.com