From: Pieter Lexis <pieterlexis@users.noreply.github.com>
Date: Wed, 12 Jun 2019 16:09:47 +0000 (+0200)
Subject: Merge pull request #7916 from pieterlexis/circleci-docs-ssh
X-Git-Tag: dnsdist-1.4.0-rc1~141
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=23dc56ae086aea4638bbb0f69f1a05d99bf87fb6;p=thirdparty%2Fpdns.git

Merge pull request #7916 from pieterlexis/circleci-docs-ssh

Use circle-ci context to get doc host FP
---

23dc56ae086aea4638bbb0f69f1a05d99bf87fb6