On Wed, 26 Dec 2012, Nick Zitzmann wrote: Thanks, merged and pushed!
-- / daniel.haxx.se ------------------------------------------------------------------- List admin: http://cool.haxx.se/list/listinfo/curl-library Etiquette: http://curl.haxx.se/mail/etiquette.html
