Merge pull request #768 from wenzhengjiang/remove_ppa_source
authordavid22swan <david.swan@puppet.com>
Thu, 23 Aug 2018 15:57:56 +0000 (16:57 +0100)
committerGitHub <noreply@github.com>
Thu, 23 Aug 2018 15:57:56 +0000 (16:57 +0100)
commitffc83eae79851c841135a6f50e36009d16a3b774
treef4f4c866e211a270e1f14d762e5e57cdc981efc8
parentcc63cdf61a4fa48ee4717135f23857f839315b3b
parent3daa01a35e2438a54205a4478625509a4b2e1354
Merge pull request #768 from wenzhengjiang/remove_ppa_source

Make sure PPA source file is absent when apt-add-repository fails