]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #9926 from Habbie/codeql-split
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Mon, 11 Jan 2021 15:46:41 +0000 (16:46 +0100)
committerGitHub <noreply@github.com>
Mon, 11 Jan 2021 15:46:41 +0000 (16:46 +0100)
codeQL: switch to merge commit analysis; split product builds


Trivial merge