changed gpg key?

[Marcus Meissner]

Hi,

https://www.gnu.org/software/libtasn1/ only lists the GPG key for 
pub  1280R/B565716F 2002-05-05 Simon Josefsson <si...@josefsson.org>
uid                            Simon Josefsson <si...@yubico.com>

but the 3.6 release is signed by 
pub   3104R/96865171 2008-05-04 [verfällt: 2028-04-29]
uid                  Nikos Mavrogiannopoulos <n...@gnutls.org>
uid                  Nikos Mavrogiannopoulos <n.mavrogiannopou...@gmail.com>

Ciao, Marcus