]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #7836 from pieterlexis/NOD-in-circleci
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Mon, 27 May 2019 08:02:24 +0000 (10:02 +0200)
committerGitHub <noreply@github.com>
Mon, 27 May 2019 08:02:24 +0000 (10:02 +0200)
rec: Enable NOD in circle-ci


Trivial merge