linuxmint/mintsources — pull request #20 by bschmid (2014-03-03 11:54:47+00:00)
Title: Use keyserver on port 80 for better proxy/firewall interop.

Typical corporate web proxy filter out rare ports like
the default port for the key server. This change advises
add-apt-repository to use hkp://keyserver.ubuntu.com:80