On Sun, 11 Aug 2019, Daniel Stenberg via curl-library wrote:
Thanks, I made it into a pull-request:
https://github.com/curl/curl/pull/4211
And this is now merged into master. Thanks!
--
/ 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
