]> 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: 44a03fd 16a89f3)
Merge branch 'ci-diffrepro' into 'master'
authorTomas Krizek <tomas.krizek@nic.cz>
Fri, 27 Apr 2018 08:14:05 +0000 (10:14 +0200)
committerTomas Krizek <tomas.krizek@nic.cz>
Fri, 27 Apr 2018 08:14:05 +0000 (10:14 +0200)
ci: respdiff - run diffrepro 3 times to reproduce results

See merge request knot/knot-resolver!572


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