]> granicus.if.org Git - pdns/commitdiff
Merge pull request #7511 from paddg/patch-10
authorRemi Gacogne <rgacogne@users.noreply.github.com>
Fri, 22 Feb 2019 08:28:09 +0000 (09:28 +0100)
committerGitHub <noreply@github.com>
Fri, 22 Feb 2019 08:28:09 +0000 (09:28 +0100)
Minor capitalization cleanup


Trivial merge