From: Tomas Krizek <tomas.krizek@nic.cz>
Date: Wed, 20 Mar 2019 09:41:27 +0000 (+0000)
Subject: Merge branch 'ci-updates' into 'master'
X-Git-Tag: v4.0.0~18
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bb035e0a9fa151a4308de2ed0c604c7f3024f608;p=thirdparty%2Fknot-resolver.git

Merge branch 'ci-updates' into 'master'

ci: minor updates

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

bb035e0a9fa151a4308de2ed0c604c7f3024f608