]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'ci-fixup' into 'master'
authorPetr Špaček <petr.spacek@nic.cz>
Thu, 7 Dec 2017 10:17:16 +0000 (11:17 +0100)
committerPetr Špaček <petr.spacek@nic.cz>
Thu, 7 Dec 2017 10:17:16 +0000 (11:17 +0100)
CI fixups

Closes #282

See merge request knot/knot-resolver!415


Trivial merge