[gnutls-devel] GnuTLS | Rethink the use of GitHub CI integration (#1140)

[Read-only notification of GnuTLS library development activities]

Issue was closed by Airtower via merge request !1375 (https://gitlab.com/gnutls/gnutls/-/merge_requests/1375)
Issue #1140: https://gitlab.com/gnutls/gnutls/-/issues/1140

-- 
Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/-/issues/1140
You're receiving this email because of your account on gitlab.com.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.gnupg.org/pipermail/gnutls-devel/attachments/20210108/3b76038d/attachment.html>