Merge request !1848 was merged Merge request URL: https://gitlab.com/gnutls/gnutls/-/merge_requests/1848 Project:Branches: ZoltanFridrich/gnutls:zfridric_devel3 to gnutls/gnutls:master Author: Zoltán Fridrich Assignee: Zoltán Fridrich Reviewer: Daiki Ueno
-- Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/-/merge_requests/1848 You're receiving this email because of your account on gitlab.com.
_______________________________________________ Gnutls-devel mailing list [email protected] http://lists.gnupg.org/mailman/listinfo/gnutls-devel
