On Sat, 31 Aug 2013, Nick Zitzmann wrote:

> No comments from anyone?
>
> Here's an updated version of the patch. In this version, I've also updated
> the documentation for the curl tool and curl_easy_setopt(). Does anyone have
> any comments on this change?

Sorry for not responding, but I think the change sounds really sensible and I
know you're the suitable person to decide exactly how to do it! Thanks for
taking care of that area so ellegantly!

-- 
  / daniel.haxx.se
-------------------------------------------------------------------
List admin: http://cool.haxx.se/list/listinfo/curl-library
Etiquette:  http://curl.haxx.se/mail/etiquette.html