]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #7916 from pieterlexis/circleci-docs-ssh
authorPieter Lexis <pieterlexis@users.noreply.github.com>
Wed, 12 Jun 2019 16:09:47 +0000 (18:09 +0200)
committerGitHub <noreply@github.com>
Wed, 12 Jun 2019 16:09:47 +0000 (18:09 +0200)
Use circle-ci context to get doc host FP


Trivial merge