From: Tomas Krizek <tomas.krizek@nic.cz>
Date: Thu, 27 Jun 2019 16:09:05 +0000 (+0000)
Subject: Merge branch 'ci-nitpicks' into 'master'
X-Git-Tag: v4.1.0~11
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=89bc4d30be89e32ffee50967720d48cf4cdbda65;p=thirdparty%2Fknot-resolver.git

Merge branch 'ci-nitpicks' into 'master'

ci: nitpicks

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

89bc4d30be89e32ffee50967720d48cf4cdbda65