From: Remi Gacogne Date: Thu, 8 Feb 2024 14:31:09 +0000 (+0100) Subject: Merge pull request #13757 from rgacogne/ddist-coverty-warning-20240201 X-Git-Tag: dnsdist-1.9.0~10 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=316b1d4b3da7493160b846ea92e363ccf98c9b52;p=thirdparty%2Fpdns.git Merge pull request #13757 from rgacogne/ddist-coverty-warning-20240201 dnsdist: Fix a warning reported by Coverity --- 316b1d4b3da7493160b846ea92e363ccf98c9b52