Bug#784286: dirmngr keyserver should default to hkps://hkps.pool.sks-keyservers.net

[intrigeri]

Hi Daniel,

that's fixed in 2.1.16, right?

The upstream changelog reads:

2016-11-17  Daniel Kahn Gillmor  <d...@fifthhorseman.net>

        dirmngr: Use a default keyserver if none is explicitly set.

Cheers,
-- 
intrigeri