]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 804ad24 127ad2d)
Merge branch 'tmp-ci-remove-command-concat' into 'master'
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Fri, 3 Jan 2020 23:26:54 +0000 (23:26 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Fri, 3 Jan 2020 23:26:54 +0000 (23:26 +0000)
Remove && command concatenation in .gitlab-ci.yml

Closes #896

See merge request gnutls/gnutls!1152


Trivial merge
Mirror of https://gitlab.com/gnutls/gnutls.git