]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'ci-respdiff' into 'master'
authorPetr Špaček <petr.spacek@nic.cz>
Mon, 6 Aug 2018 11:41:42 +0000 (11:41 +0000)
committerPetr Špaček <petr.spacek@nic.cz>
Mon, 6 Aug 2018 11:41:42 +0000 (11:41 +0000)
ci: run respdiff jobs

See merge request knot/knot-resolver!638


Trivial merge