Also, the following should serve as a quick way to add his ppa key to your local keyring:
wget -q 'http://keyserver.ubuntu.com:11371/pks/lookup?op=get&search=0x932062C9CD30EE56' -O - | sudo apt-key add -
Also, the following should serve as a quick way to add his ppa key to your local keyring:
wget -q 'http:// keyserver. ubuntu. com:11371/ pks/lookup? op=get& search= 0x932062C9CD30E E56' -O - | sudo apt-key add -