]> granicus.if.org Git - pdns/commitdiff
Merge pull request #7786 from pieterlexis/circle-ci-part1
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Thu, 9 May 2019 10:03:41 +0000 (12:03 +0200)
committerGitHub <noreply@github.com>
Thu, 9 May 2019 10:03:41 +0000 (12:03 +0200)
Part one of Circle-CI integration


Trivial merge