]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #9787 from Habbie/circleci-extend
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Mon, 7 Dec 2020 21:40:31 +0000 (22:40 +0100)
committerGitHub <noreply@github.com>
Mon, 7 Dec 2020 21:40:31 +0000 (22:40 +0100)
extend CircleCI coverage


Trivial merge