keys.gnupg.net no longer resolves (was GNU ed 1.19 released)

[David (Plasma) Paul]

On Sat, 14 Jan 2023 18:40:43 +0100
Antonio Diaz Diaz <antonio@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