]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #9836 from Habbie/circleci-extend-2
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Thu, 7 Jan 2021 18:56:41 +0000 (19:56 +0100)
committerGitHub <noreply@github.com>
Thu, 7 Jan 2021 18:56:41 +0000 (19:56 +0100)
circleci: extend coverage some more and disable travis


Trivial merge