]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #12504 from fredmorcos/ci-docs-fix-2
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Thu, 2 Feb 2023 21:57:03 +0000 (22:57 +0100)
committerGitHub <noreply@github.com>
Thu, 2 Feb 2023 21:57:03 +0000 (22:57 +0100)
Fix GH CI docs upload


Trivial merge