]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'ci-respdiff-stats' into 'master'
authorTomas Krizek <tomas.krizek@nic.cz>
Mon, 27 Aug 2018 11:11:23 +0000 (11:11 +0000)
committerTomas Krizek <tomas.krizek@nic.cz>
Mon, 27 Aug 2018 11:11:23 +0000 (11:11 +0000)
ci: improve respdiff jobs

See merge request knot/knot-resolver!659


Trivial merge