]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #8430 from Habbie/builder-no-all
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Tue, 3 Dec 2019 09:37:31 +0000 (10:37 +0100)
committerGitHub <noreply@github.com>
Tue, 3 Dec 2019 09:37:31 +0000 (10:37 +0100)
builder: demand user chooses a module except when building docs


Trivial merge