]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'ci-fixes' into 'master'
authorTomas Krizek <tomas.krizek@nic.cz>
Fri, 26 Apr 2019 12:14:10 +0000 (12:14 +0000)
committerTomas Krizek <tomas.krizek@nic.cz>
Fri, 26 Apr 2019 12:14:10 +0000 (12:14 +0000)
CI fixes

See merge request knot/knot-resolver!812


Trivial merge