I think https://github.com/curl/curl/pull/8419 is very important. If original author cannot do the latest change, pehaps another maintainer can help
Regards Gilles Vollant -----Message d'origine----- De : curl-library <curl-library-boun...@lists.haxx.se> De la part de Ray Satiro via curl-library Envoyé : jeudi 26 mai 2022 10:12 À : curl-library@lists.haxx.se Cc : Ray Satiro <raysat...@yahoo.com> Objet : Re: Which PRs should we merge? On 5/25/2022 4:01 AM, Daniel Stenberg wrote: > There are times when the PR seems fine and I'm on the fence about it. > I would prefer to have a more organized way to handle them. And a way > for everyone to find those PRs and chime in on them. > > Let me give you three current examples: Sure, I understand they could use more exposure. As you know we have a few fine PRs that are mothballed [1] though I'm skeptical given the feedback (or lack thereof) that I would change my mind about most of them. [1]: https://github.com/curl/curl/issues?q=label%3Amothballed -- Unsubscribe: https://lists.haxx.se/listinfo/curl-library Etiquette: https://curl.haxx.se/mail/etiquette.html -- Unsubscribe: https://lists.haxx.se/listinfo/curl-library Etiquette: https://curl.haxx.se/mail/etiquette.html
