Re: unbreak curl no_proxy

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