From: Tomas Krizek <tomas.krizek@nic.cz>
Date: Tue, 28 Jan 2020 11:02:12 +0000 (+0100)
Subject: Merge branch 'ci-minor-fixes' into 'master'
X-Git-Tag: v5.0.1~5
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fenvironments%2Fobs-knot-resolver-es11k1%2Fdeployments%2F577;p=thirdparty%2Fknot-resolver.git

Merge branch 'ci-minor-fixes' into 'master'

ci: minor fixes

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

7a300f490c34dd852d6a7ba97e8987efaa3a8bdd