]> granicus.if.org Git - pdns/commitdiff
Merge pull request #6933 from Woet/patch-1
authorRemi Gacogne <rgacogne@users.noreply.github.com>
Fri, 7 Sep 2018 06:29:29 +0000 (08:29 +0200)
committerGitHub <noreply@github.com>
Fri, 7 Sep 2018 06:29:29 +0000 (08:29 +0200)
Fixed small spelling mistakes in serverselection.rst


Trivial merge