]> 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: cd0999f f3d4e21)
Merge branch 'ci-respdiff-master' into 'master'
authorPetr Špaček <petr.spacek@nic.cz>
Tue, 7 Aug 2018 13:17:56 +0000 (13:17 +0000)
committerPetr Špaček <petr.spacek@nic.cz>
Tue, 7 Aug 2018 13:17:56 +0000 (13:17 +0000)
ci: fixes and optimizations

See merge request knot/knot-resolver!641


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