On Tue, 10 Dec 2013, Eric Lubin wrote: Oh, lovely fix. 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
