Use full key_id in pgadmin3
Add name and license to pgadmin3
Merge pull request #8317 from ndr-qef/casks/pgadmin

Cask pgadmin3: amend gpg, add license and name