Daiki Ueno commented: https://gitlab.com/gnutls/gnutls/-/merge_requests/1956#note_2652925333 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/1956#note_2652925333 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
