]> granicus.if.org Git - pdns/commitdiff
Merge pull request #8090 from Habbie/lgtm-fewer-features
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Wed, 17 Jul 2019 12:56:51 +0000 (14:56 +0200)
committerGitHub <noreply@github.com>
Wed, 17 Jul 2019 12:56:51 +0000 (14:56 +0200)
Revert "enable a bunch of extra features during LGTM builds"


Trivial merge