From: Petr Špaček <petr.spacek@nic.cz>
Date: Wed, 23 Aug 2017 15:07:52 +0000 (+0200)
Subject: Merge branch 'ci-clone-workaround' into 'master'
X-Git-Tag: v1.4.0~14
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3c1d9d6e36f33b2633b8d2b33def77135ca6887c;p=thirdparty%2Fknot-resolver.git

Merge branch 'ci-clone-workaround' into 'master'

Gitlab bug workaround: use git:// protocol for submodules

See merge request !360
---

3c1d9d6e36f33b2633b8d2b33def77135ca6887c