tree eba2ffe5b49915006607197c733c7ae728e4abb1
parent 68e63c7fc7f9cef30053e56de149b43685451199
author Nathaniel Manista <nathaniel@google.com> 1440875902 +0000
committer Nathaniel Manista <nathaniel@google.com> 1440875902 +0000

Fix grace period bug in _end.accept_ticket

Tickets should not be ignored if the end is in a grace period; rather
they should be ignored if they are for an unrecognized (likely new)
operation and the end is in a grace period.