From: Remi Gacogne Date: Mon, 30 Aug 2021 10:02:37 +0000 (+0200) Subject: Merge pull request #10681 from rgacogne/fix-ddist-coverity-build X-Git-Tag: dnsdist-1.7.0-alpha1~41 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=779c399566af6da9c8e04d6a733bf535084868c2;p=thirdparty%2Fpdns.git Merge pull request #10681 from rgacogne/fix-ddist-coverity-build dnsdist: Fix the Coverity build by adding the dev version of GnuTLS --- 779c399566af6da9c8e04d6a733bf535084868c2