[gnutls-devel] GnuTLS | GNUTLS_PCERT_NO_CERT: marked as unused/ignored (!837)

[Development of GNU's TLS library]

Merge Request !837 was merged
Merge Request url: https://gitlab.com/gnutls/gnutls/merge_requests/837
Branches: tmp-fix-GNUTLS_PCERT_NO_CERT to master
Author: Nikos Mavrogiannopoulos
Assignee: 

-- 
Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/merge_requests/837
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/20181212/13998b49/attachment.html>