]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #12764 from fredmorcos/ci-fixes-cleanups 12775/head
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Fri, 21 Apr 2023 11:49:20 +0000 (13:49 +0200)
committerGitHub <noreply@github.com>
Fri, 21 Apr 2023 11:49:20 +0000 (13:49 +0200)
Ci fixes and cleanups


Trivial merge