From: Peter van Dijk <peter.van.dijk@powerdns.com>
Date: Mon, 7 Dec 2020 21:40:31 +0000 (+0100)
Subject: Merge pull request #9787 from Habbie/circleci-extend
X-Git-Tag: rec-4.5.0-alpha1~81
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=714a6e19bedc0a89d3760add9fad6512da52cf09;p=thirdparty%2Fpdns.git

Merge pull request #9787 from Habbie/circleci-extend

extend CircleCI coverage
---

714a6e19bedc0a89d3760add9fad6512da52cf09