]> 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: a5ef26d 884d331)
Merge branch 'ci-minor-fixes' into 'master' obs-knot-dns-deve-jq0xxt/deployments/576 obs-knot-resolver-es11k1/deployments/577
authorTomas Krizek <tomas.krizek@nic.cz>
Tue, 28 Jan 2020 11:02:12 +0000 (12:02 +0100)
committerTomas Krizek <tomas.krizek@nic.cz>
Tue, 28 Jan 2020 11:02:12 +0000 (12:02 +0100)
ci: minor fixes

See merge request knot/knot-resolver!929


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