Il giorno Mon, 24 Jul 2017 12:51:42 +0200 Boudhayan Gupta <bgupta at kde.org> ha scritto: > You can of course add a new line to ~/.gnupg/dirmngr.conf to add this > keyserver to your list of keyservers. Is this reachable also on port 80? My workplace blocks hkp ports. -- Luca Beltrame - KDE Forums team KDE Science supporter GPG key ID: 6E1A4E79