]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #12511 from Habbie/codeql-ubuntu-mirror
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Mon, 6 Feb 2023 10:49:41 +0000 (11:49 +0100)
committerGitHub <noreply@github.com>
Mon, 6 Feb 2023 10:49:41 +0000 (11:49 +0100)
codeql workflow: set ubuntu mirror


Trivial merge