Merge request !2019 was merged Merge request URL: https://gitlab.com/gnutls/gnutls/-/merge_requests/2019 Project:Branches: dueno/gnutls:wip/dueno/usdt2 to gnutls/gnutls:master Author: Daiki Ueno
-- Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/-/merge_requests/2019 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
