diff options
| author | Eric Biggers <ebiggers@google.com> | 2020-01-29 18:46:57 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-29 18:46:57 -0800 |
| commit | 0f06c53388f8b020e1a0d48af2f5e334c4ec2aca (patch) | |
| tree | 16f75a173808cfffd4153adf488f86b440a099ca /util | |
| parent | 9927ab8426e765db8de304e9f99ba5c520b5018c (diff) | |
| parent | 2d7229eb2a97c845d73a65ff9dd3368056c255a6 (diff) | |
Merge pull request #192 from ebiggers/cleanup-on-error
Clean up policies and protectors on error
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions