]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #13757 from rgacogne/ddist-coverty-warning-20240201
authorRemi Gacogne <remi.gacogne@powerdns.com>
Thu, 8 Feb 2024 14:31:09 +0000 (15:31 +0100)
committerGitHub <noreply@github.com>
Thu, 8 Feb 2024 14:31:09 +0000 (15:31 +0100)
dnsdist: Fix a warning reported by Coverity


Trivial merge