František Krenželok commented: https://gitlab.com/gnutls/gnutls/-/merge_requests/2037#note_2886377048 This look good, and the bug is pretty annoying... Approving but rerun your pipeline with higher timeout, although the change is trivial it is always good to get at least the commit checked. -- Reply to this email directly or view it on GitLab: https://gitlab.com/gnutls/gnutls/-/merge_requests/2037#note_2886377048 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
