> Nothing special, no. A pull-request is perfect and we take it from there.
Here it is: https://github.com/curl/curl/pull/7605 ------------------------------------------------------------------- Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library Etiquette: https://curl.se/mail/etiquette.html
