From: Tomas Krizek Date: Fri, 27 Apr 2018 08:14:05 +0000 (+0200) Subject: Merge branch 'ci-diffrepro' into 'master' X-Git-Tag: v2.4.0~51 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aab8e6b0051419b5023c4356aa1d71709629e3ef;p=thirdparty%2Fknot-resolver.git Merge branch 'ci-diffrepro' into 'master' ci: respdiff - run diffrepro 3 times to reproduce results See merge request knot/knot-resolver!572 --- aab8e6b0051419b5023c4356aa1d71709629e3ef