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.
Andreas. -- Andreas Schwab, SUSE Labs, sch...@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely different."