-
Committer:
Robert C Jennings
-
Date:
2018-10-13 20:02:22 UTC
-
Revision ID:
robert.jennings@canonical.com-20181013200222-d3najokedzzn772r
builder image: Kill dirmngr/gpg-agent before chroot teardown
Add code to kill dirmngr and gpg-agent in case that is a problem in the
future. It is not strictly necessary today but brings this template
in-line with other templates.