On Sat, 14 Jan 2023 18:40:43 +0100 Antonio Diaz Diaz <anto...@gnu.org> wrote:
> I am pleased to announce the release of GNU ed 1.19. ... > This release is also GPG signed. You can download the signature by > appending '.sig' to the URL. If the 'gpg --verify' command fails > because you don't have the required public key, then run this command > to import it: > > gpg --keyserver keys.gnupg.net --recv-keys 8FE99503132D7742 > > Key fingerprint = 1D41 C14B 272A 2219 A739 FA4F 8FE9 9503 132D 7742 Antonio, The keys.gnupg.net domain no longer resolves. Would you please make your key available on another keyserver? Thanks, -- Plasma