NXDOMAIN for hkps.pool.sks-keyservers.net

[Stephane Bortzmeyer]

On Tue, Jan 14, 2020 at 04:39:16PM -0500,
 wangqr via Gnupg-users <gnupg-users at gnupg.org> wrote 
 a message of 122 lines which said:

> GnuPG uses hkps://hkps.pool.sks-keyservers.net as the default
> dirmnger key server. But this domain does not exist.

I do not share this assessment.

% dig +short hkps.pool.sks-keyservers.net A
209.244.105.201
82.148.229.254
192.146.137.98
37.191.231.105
192.146.137.99

Most RIPE Atlas probes agree with me:

% blaeu-resolve --type A --requested 100 hkps.pool.sks-keyservers.net.
[192.146.137.98 192.146.137.99 209.244.105.201 37.191.231.105 82.148.229.254] : 93 occurrences
[ERROR: NXDOMAIN] : 1 occurrences
[192.146.137.98 209.244.105.201 37.191.231.105 82.148.229.254] : 4 occurrences
[ERROR: SERVFAIL] : 2 occurrences
Test #23834618 done at 2020-01-15T11:23:19Z

You DNS resolver has probably a problem.