On Mon, 18 Feb 2019, Daniel Stenberg via curl-library wrote:
Thanks for all the details. I've filed an issue for this bug: https://github.com/curl/curl/issues/3577
My first take at a fix: https://github.com/curl/curl/pull/3581 -- / daniel.haxx.se ------------------------------------------------------------------- Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library Etiquette: https://curl.haxx.se/mail/etiquette.html
