On Fri, 19 Apr 2019, Daniel Stenberg via curl-library wrote:
My proposed fix for this issue is now here: https://github.com/curl/curl/pull/3795
That one landed in git too and will ship in the next release. -- / daniel.haxx.se ------------------------------------------------------------------- Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library Etiquette: https://curl.haxx.se/mail/etiquette.html