From: Pieter Lexis <pieterlexis@users.noreply.github.com>
Date: Wed, 18 Sep 2019 16:51:47 +0000 (+0200)
Subject: Merge pull request #8305 from Habbie/circleci-local
X-Git-Tag: dnsdist-1.4.0-rc3~23
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a4f0df2241a613f494b02b174396bee81f2854eb;p=thirdparty%2Fpdns.git

Merge pull request #8305 from Habbie/circleci-local

makefile + one line doc for `circleci local execute`
---

a4f0df2241a613f494b02b174396bee81f2854eb