From: Peter van Dijk Date: Mon, 6 Feb 2023 10:49:41 +0000 (+0100) Subject: Merge pull request #12511 from Habbie/codeql-ubuntu-mirror X-Git-Tag: dnsdist-1.8.0-rc1~52 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3bd9796e87394867e4e6cde286c06ea353367ef6;p=thirdparty%2Fpdns.git Merge pull request #12511 from Habbie/codeql-ubuntu-mirror codeql workflow: set ubuntu mirror --- 3bd9796e87394867e4e6cde286c06ea353367ef6