]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'deckard-update' into 'master'
authorPetr Špaček <petr.spacek@nic.cz>
Mon, 25 Jun 2018 12:12:33 +0000 (14:12 +0200)
committerPetr Špaček <petr.spacek@nic.cz>
Mon, 25 Jun 2018 12:12:33 +0000 (14:12 +0200)
CI: support kresd-specific integration tests

See merge request knot/knot-resolver!541


Trivial merge