Daiki Ueno commented: https://gitlab.com/gnutls/gnutls/-/merge_requests/1985#note_2652922909 Thank you; the change looks good to me. As we are currently facing some limitation in CI pipeline, so I included this in a new MR (!1993). -- Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/-/merge_requests/1985#note_2652922909 You're receiving this email because of your account on gitlab.com.
_______________________________________________ Gnutls-devel mailing list Gnutls-devel@lists.gnutls.org http://lists.gnupg.org/mailman/listinfo/gnutls-devel
