]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-no-git-in-bootstrap' into 'master'
authorTim Rühsen <tim.ruehsen@gmx.de>
Mon, 20 Aug 2018 07:22:24 +0000 (07:22 +0000)
committerTim Rühsen <tim.ruehsen@gmx.de>
Mon, 20 Aug 2018 07:22:24 +0000 (07:22 +0000)
.gitlab-ci.yml: use --no-git to bootstrap

Closes #547

See merge request gnutls/gnutls!737


Trivial merge