Hi Thomas,

I haven't been able to test on the machine I submitted the report from, but on some other shared machines behind the proxy, it looks like your fix seems to work (while the revision I was on is still broken on those machines). Thanks for all the work on the other bug -- that seemed like a long process.

I'm not super familiar with debbugs, but if there's anything I should do to mark this as closed or resolved, please let me know.

- David

On Fri, Aug 16, 2019 at 11:06 AM Thomas Fitzsimmons <fitzsim@fitzsim.org> wrote:

Hi David,

David Ringo <davidmringo@gmail.com> writes:

> It seems that commit 84613dae5c3 is at least partially responsible for
> this. It's a small change to `url-https-proxy-after-change-function'
> that binds `url-http-proxy' around the call to
> `url-http-create-request'.

This might be addressed by the fix for bug#35969 that I pushed last
night, can you retry with master tip?

http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35969

Thanks,
Thomas