On Mon, 14 Dec 2020, Tomalak Geret'kal via curl-library wrote:
https://github.com/curl/curl/pull/5920
To be honest, this is more than a minor inconvenience
I felt that quite a few people were against this idea and not very many were
for it, so I've dropped it and closed the PR. Maybe we'll come back to it in
the future...
Thanks everyone for valuable feedback and discussions!
--
/ daniel.haxx.se
| Commercial curl support up to 24x7 is available!
| Private help, bug fixes, support, ports, new features
| https://www.wolfssl.com/contact/
-------------------------------------------------------------------
Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library
Etiquette: https://curl.se/mail/etiquette.html
