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
