]> granicus.if.org Git - pdns/commitdiff
Merge pull request #6568 from cmouse/docs
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Thu, 10 May 2018 07:57:04 +0000 (08:57 +0100)
committerGitHub <noreply@github.com>
Thu, 10 May 2018 07:57:04 +0000 (08:57 +0100)
Disable parallel build for docs


Trivial merge