From: Petr Špaček <petr.spacek@nic.cz>
Date: Mon, 6 Aug 2018 11:41:42 +0000 (+0000)
Subject: Merge branch 'ci-respdiff' into 'master'
X-Git-Tag: v3.0.0~17
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eb1be857dd14564e8163778a02d4ca9d7d34eefe;p=thirdparty%2Fknot-resolver.git

Merge branch 'ci-respdiff' into 'master'

ci: run respdiff jobs

See merge request knot/knot-resolver!638
---

eb1be857dd14564e8163778a02d4ca9d7d34eefe