Thanks for your reply, even though you no longer use Ubuntu! Good pointer on apt-key, I will investigate further.
Thanks for your reply, even though you no longer use Ubuntu! Good
pointer on apt-key, I will investigate further.