Merge branch 'tmp-gnulib-use-git' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 22 Aug 2018 04:04:51 +0000 (04:04 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 22 Aug 2018 04:04:51 +0000 (04:04 +0000)
Remove --no-git from ./bootstrap

See merge request gnutls/gnutls!739


Trivial merge