From: Tomas Krizek <tomas.krizek@nic.cz>
Date: Wed, 26 Jun 2019 12:33:48 +0000 (+0000)
Subject: Merge branch 'ci-nitpicks' into 'master'
X-Git-Tag: v4.1.0~13
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fenvironments%2Fobs-knot-dns-deve-jq0xxt%2Fdeployments%2F45;p=thirdparty%2Fknot-resolver.git

Merge branch 'ci-nitpicks' into 'master'

ci: nitpicks & minor distrotests fixes

See merge request knot/knot-resolver!834
---

b2ad9443e550faf2413dde51a6f100e0e3c2d209