On 2022/11/02 02:48, Stuart Henderson wrote: > OK to patch curl to fix no_proxy? > > https://github.com/curl/curl/issues/9821
oh, there's a second commit too, but it's still not enough for the machines where I use this. I've added https://github.com/curl/curl/issues/9842
