]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #10681 from rgacogne/fix-ddist-coverity-build
authorRemi Gacogne <remi.gacogne@powerdns.com>
Mon, 30 Aug 2021 10:02:37 +0000 (12:02 +0200)
committerGitHub <noreply@github.com>
Mon, 30 Aug 2021 10:02:37 +0000 (12:02 +0200)
dnsdist: Fix the Coverity build by adding the dev version of GnuTLS


Trivial merge