Merge pull request #774 from wenzhengjiang/unless_gpg_key_exists
authordavid22swan <david.swan@puppet.com>
Thu, 23 Aug 2018 13:21:05 +0000 (14:21 +0100)
committerGitHub <noreply@github.com>
Thu, 23 Aug 2018 13:21:05 +0000 (14:21 +0100)
Check existence of gpg key in apt:ppa


Trivial merge