]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'ci-make-check' into 'master'
authorTomas Krizek <tomas.krizek@nic.cz>
Thu, 28 Jun 2018 12:25:40 +0000 (14:25 +0200)
committerTomas Krizek <tomas.krizek@nic.cz>
Thu, 28 Jun 2018 12:25:40 +0000 (14:25 +0200)
ci: fix make check

See merge request knot/knot-resolver!612


Trivial merge