On Tue, 27 Aug 2019, Christopher Head via curl-library wrote:
Done! <https://github.com/curl/curl/pull/4273>
Excellent. I've merged it!
--
/ daniel.haxx.se | Get the best commercial curl support there is - from me
| 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.haxx.se/mail/etiquette.html
