chiark / gitweb /
verify: optimize entry search a bit by using bisection