On Wed, 7 Jul 2021, Jonathan Wernberg via curl-library wrote:
I could not make a GitHub pull request at this point in time, I hope it is acceptable to send the patch this way instead.
Thanks! I made a PR out of it: https://github.com/curl/curl/pull/7362 -- / 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
