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


Trivial merge