|author||Ori Bernstein <email@example.com>||2017-07-06 21:17:26 -0700|
|committer||Ori Bernstein <firstname.lastname@example.org>||2017-07-06 21:19:53 -0700|
Cleaner/correcter version of the termination condition.
It isn't entirely equivalent, but the cases where it returns true should be the same. And it shouldn't return false early.
Diffstat (limited to 'support')
0 files changed, 0 insertions, 0 deletions