diff options
| author |  Nathaniel Manista <nathaniel@google.com> | 2015-08-29 19:18:22 +0000 |
|---|---|---|
| committer | Nathaniel Manista <nathaniel@google.com> | 2015-08-29 19:18:22 +0000 |
| commit | 1d14618a0e3a86a705d543a8c761aa60bd1a59c0 (patch) | |
| tree | eba2ffe5b49915006607197c733c7ae728e4abb1 /tools | |
| parent | 68e63c7fc7f9cef30053e56de149b43685451199 (diff) | |
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.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions