diff options
author | Michał Górny <mgorny@gentoo.org> | 2020-05-16 17:12:56 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2020-05-16 17:12:56 +0200 |
commit | 55a9a2f01baed17eb4b6eff88b0f8a1343a847d4 (patch) | |
tree | 9a988d2992db533d0365f61f4721aa109e7fa534 /tox.ini | |
parent | 20301dd3d55c81e3655c367b4d74382cec499717 (diff) | |
download | gemato-55a9a2f01baed17eb4b6eff88b0f8a1343a847d4.tar.gz |
openpgp: Explicitly kill gpg-agent when exiting
Bug: https://bugs.gentoo.org/718066
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'tox.ini')
0 files changed, 0 insertions, 0 deletions