From: Ondřej Surý <ondrej@isc.org>
Date: Fri, 9 Mar 2018 16:36:35 +0000 (-0500)
Subject: Merge branch '138-tweak-ci-settings' into 'master'
X-Git-Tag: v9.13.0~103
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=91bfcb1aed22630d19ffe75e33f108828e65b654;p=thirdparty%2Fbind9.git

Merge branch '138-tweak-ci-settings' into 'master'

Tweak CI settings

Closes #138

See merge request isc-projects/bind9!116
---

91bfcb1aed22630d19ffe75e33f108828e65b654