trying to verify signature of electrum, but i get a error when Obtaining public GPG key for ThomasV
keys.gnupg.net: host not found ...
Are we under attack ??
As mentioned, keys.gnupg.net isn't around anymore. Try running one of the commands below from your terminal app.
gpg --keyserver hkp://keyserver.ubuntu.com --receive-keys 6694D8DE7BE8EE5631BED9502BD5824B7F9470E6
Or
gpg --keyserver hkp://keys.openpgp.org --receive-keys 6694D8DE7BE8EE5631BED9502BD5824B7F9470E6