Re: [ANNOUNCE] DejaGnu 1.6.3 released

Andreas Schwab <[email protected]> Tue, 22 Jun 2021 11:47:00 +0200
Newsgroups gmane.comp.sysutils.dejagnu.general
Message-ID <[email protected]>
On Jun 21 2021, Jacob Bachmeyer wrote:

> The release signing key should be on the keyserver keys.gnupg.net.

That host does not exist.

Andreas.

-- 
Andreas Schwab, SUSE Labs, [email protected]
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."