]> granicus.if.org Git - pdns/commitdiff
Merge pull request #4024 from pieterlexis/configure-summary
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Thu, 23 Jun 2016 14:01:43 +0000 (16:01 +0200)
committerGitHub <noreply@github.com>
Thu, 23 Jun 2016 14:01:43 +0000 (16:01 +0200)
Configure summary cleanups


Trivial merge