]> git.ipfire.org Git - thirdparty/knot-resolver.git/commitdiff
projects / thirdparty / knot-resolver.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3775bbc bc8d34f)
Merge branch 'ci-updates' into 'master'
authorTomas Krizek <tomas.krizek@nic.cz>
Wed, 20 Mar 2019 09:41:27 +0000 (09:41 +0000)
committerTomas Krizek <tomas.krizek@nic.cz>
Wed, 20 Mar 2019 09:41:27 +0000 (09:41 +0000)
ci: minor updates

See merge request knot/knot-resolver!791


Trivial merge
Mirror of https://gitlab.nic.cz/knot/knot-resolver.git