]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
projects / thirdparty / pdns.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6d2c4a2 30db3d2)
Merge pull request #11564 from Habbie/circleci-docs-no-texlive
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Wed, 20 Apr 2022 10:27:39 +0000 (12:27 +0200)
committerGitHub <noreply@github.com>
Wed, 20 Apr 2022 10:27:39 +0000 (12:27 +0200)
circleci: revert docs build to specific debian image, instead of the debian:testing underlying the texlive image


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.