Re: [Gretl-devel] Proxy settings for package upload