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: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a4f0df2241a613f494b02b174396bee81f2854eb;p=pdns

Merge pull request #8305 from Habbie/circleci-local

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

a4f0df2241a613f494b02b174396bee81f2854eb