Re: [ANNOUNCE] DejaGnu 1.6.3 released

Andreas Schwab wrote:
> Where do I get the sign key for this release?  It isn't one of the member
> keys
> <https://savannah.gnu.org/project/memberlist-gpgkeys.php?group=dejagnu>,
> and the group release keyring is empty.
>   

The release signing key should be on the keyserver keys.gnupg.net.  It 
is in turn signed with my long term identity key which is registered in 
Savannah.

Is there a place to upload release signing keys on Savannah?  If so, I 
probably need to upload it there...


-- Jacob