Bug#737921: reassign 737921 to src:gnutls28, found 737921 in 2.12.20-8+deb7u2, reassign 782630 to src:gnutls28 ...

[Andreas Metzler]

On 2019-05-10 Andreas Beckmann <anbe at 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'