From: Pieter Lexis Date: Mon, 13 May 2019 08:07:36 +0000 (+0200) Subject: Merge pull request #7805 from Habbie/circleci-pr X-Git-Tag: rec-4.2.0-rc1~24 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=29bf146a5aa989ef1452e92fc5c7f4ace5f6a1d1;p=thirdparty%2Fpdns.git Merge pull request #7805 from Habbie/circleci-pr fix PR checkout in circle-ci testing --- 29bf146a5aa989ef1452e92fc5c7f4ace5f6a1d1