On 2019-05-10 Andreas Beckmann <a...@debian.org> wrote: > reassign 737921 src:gnutls28 2.12.23-10 > found 737921 2.12.20-8+deb7u2 > reassign 782630 src:gnutls28 2.12.20-8+deb7u2 > reassign 810814 src:gnutls28 2.12.20-8+deb7u5 > thanks
Hello, Are you sure about that? Version 2.12.23-10 was shipped in src:gnutls26 and the issue is fixed in GnuTLS version 3 (i.e. gnutls28). cu Andreas -- `What a good friend you are to him, Dr. Maturin. His other friends are so grateful to you.' `I sew his ears on from time to time, sure'
