]> granicus.if.org Git - pdns/commitdiff
Merge pull request #5846 from RvdE/patch-1
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Thu, 26 Oct 2017 12:35:50 +0000 (14:35 +0200)
committerGitHub <noreply@github.com>
Thu, 26 Oct 2017 12:35:50 +0000 (14:35 +0200)
Update compiling.rst


Trivial merge