PGP signing key?

[Nick Clifton]

Hi Brett,

> I notice that the release tarball on the gnu.org ftp site is signed by
> a PGP key with ID 4AE55E93, but this key is not present on the pgp.net
> hkp server pool. Where can we find that key?

Sorry for the long delay in responding to your email.  The key can be 
found on keys.gnupg.net:

   %  gpg --keyserver keys.gnupg.net --recv-keys 4AE55E93
   gpg: requesting key 4AE55E93 from hkp server keys.gnupg.net
   gpg: key 4AE55E93: "Tristan Gingold <gingold@adacore.com>" not changed
   gpg: Total number processed: 1
   gpg:               imported: 1

Cheers
   Nick