tmatilai/vagrant-proxyconf — pull request #9 by tmatilai (2013-07-08 02:38:37+00:00)
Title: Do not add the default port to complete URIs

If a value includes the scheme, for example `http://proxy/`, we should not add the default port. Thus the default port for that protocol will be used.