]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'devel-ci-local' into 'master'
authorAlexander Sosedkin <asosedki@redhat.com>
Thu, 12 Mar 2026 13:03:31 +0000 (13:03 +0000)
committerAlexander Sosedkin <asosedki@redhat.com>
Thu, 12 Mar 2026 13:03:31 +0000 (13:03 +0000)
devel/ci-local.sh: add a gitlab-ci-local wrapper

See merge request gnutls/gnutls!2077


Trivial merge