Hostname of key server pool disappeared? hkps.pool.sks-keyservers.net

[Phil Pennock]

On 2019-03-18 at 23:09 +1000, Ted Cooper wrote:
> If there is a more appropriate place to post this please do let me know.
> Methods of contact and persons responsible for the sks-keyservers
> infrastructure is not obvious. Onto the problem;

The SKS Devel mailing-list is also used for Operations issues.
 <https://lists.nongnu.org/mailman/listinfo/sks-devel>

> The hostname hkps.pool.sks-keyservers.net appears to have been pulled,
> and now returns NXDOMAIN. It's even return NSEC records to prove it's
> NXDOMAIN.

https://lists.nongnu.org/archive/html/sks-devel/2019-03/msg00060.html

It appears that CRL expiration led to all HKPS hosts failing
verification so they all dropped out of the pool.

-Phil