diff options
author | Michael Vogt <mvo@debian.org> | 2013-07-25 20:45:53 +0200 |
---|---|---|
committer | Michael Vogt <mvo@debian.org> | 2013-07-25 20:45:53 +0200 |
commit | a9d6b0ad873fdf38e7a7077fd1f07289ad66d45a (patch) | |
tree | 7ee6c3255023294c2b12ced559fab233caafd7cc /.gitignore | |
parent | 60fc4f21783fddaae481494f99ec157e08a9bfdb (diff) |
fix resource leak when verification fails
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions