]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #12795 from rgacogne/ddist18-only-ddist-ci
authorRemi Gacogne <remi.gacogne@powerdns.com>
Mon, 15 May 2023 08:25:58 +0000 (10:25 +0200)
committerGitHub <noreply@github.com>
Mon, 15 May 2023 08:25:58 +0000 (10:25 +0200)
dnsdist-1.8.x: Remove the workflows that are not relevant to dnsdist 1.8.x


Trivial merge