Bug#1009311: [pkg-gnupg-maint] Bug#1009311: dirmngr: should no longer use keys.openpgp.org by default

Control: tags 1009311 + wontfix Hi Vincent-- On Mon 2022-04-11 16:18:45 +0200, Vincent Lefevre wrote: > The default https://keys.openpgp.org:443 key server is no longer working: > > $ gpg -v --recv-keys 7CA7ECAAF06216B90F894146ACF8146CAE8CBBC4 > gpg: data source: https://keys.openpgp.org:443 > gp

Bug#1009311: dirmngr: should no longer use keys.openpgp.org by default

Package: dirmngr Version: 2.2.27-3+b1 Severity: normal The default https://keys.openpgp.org:443 key server is no longer working: $ gpg -v --recv-keys 7CA7ECAAF06216B90F894146ACF8146CAE8CBBC4 gpg: data source: https://keys.openpgp.org:443 gpg: pub rsa2048/ACF8146CAE8CBBC4 2019-01-02 gpg: key AC