On 2/3/20 9:24 AM, Paul Eggert wrote:
Re the message forwarded below. First I don't see a copy of this message at <https://lists.gnu.org/r/gnutls-devel/2015-02/index.html> so I'm taking the liberty of copying the entire thing to gnutls-de...@gnu.org.
Oops, that bounced, and now I see that the mailing list moved. However, I don't see a copy of the message at <https://lists.gnutls.org/pipermail/gnutls-devel/2020-February/thread.html> either. Anyway, I have attempted to get the GnuTLS developers' attention by filing a bug report here:
https://gitlab.com/gnutls/gnutls/issues/926
