]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #7864 from rgacogne/coverity-201905
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Tue, 4 Jun 2019 11:05:27 +0000 (13:05 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Jun 2019 11:05:27 +0000 (13:05 +0200)
Fix warnings reported by Coverity


Trivial merge