From: Tomas Krizek Date: Tue, 7 Aug 2018 16:52:12 +0000 (+0000) Subject: Merge branch 'ci-docker-curl' into 'master' X-Git-Tag: v3.0.0~9 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e350d14fbb6fd8f93379c41724dc17fb1f87705c;p=thirdparty%2Fknot-resolver.git Merge branch 'ci-docker-curl' into 'master' ci: add curl to debian-stable, skip respdiff See merge request knot/knot-resolver!647 --- e350d14fbb6fd8f93379c41724dc17fb1f87705c