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

Merge pull request #7838 from pieterlexis/circleci-docs

build docs in circleci
---

52da9d916a987d8ef18b17bd5923224815276451