]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
Merge branch 'update-ci' into 'master'
authorTomas Krizek <tomas.krizek@nic.cz>
Wed, 14 Feb 2018 17:23:46 +0000 (18:23 +0100)
committerTomas Krizek <tomas.krizek@nic.cz>
Wed, 14 Feb 2018 17:23:46 +0000 (18:23 +0100)
update CI

See merge request knot/knot-resolver!494


Trivial merge