From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Fri, 3 Jan 2020 23:26:54 +0000 (+0000)
Subject: Merge branch 'tmp-ci-remove-command-concat' into 'master'
X-Git-Tag: 3.6.12~35
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=3a4f22a6ebbffe55636d4af8c19e85047e918cd3;p=thirdparty%2Fgnutls.git

Merge branch 'tmp-ci-remove-command-concat' into 'master'

Remove && command concatenation in .gitlab-ci.yml

Closes #896

See merge request gnutls/gnutls!1152
---

3a4f22a6ebbffe55636d4af8c19e85047e918cd3