On Fri, 15 Apr 2011, Gisle Vanem wrote:

>> Did you forget to push that change? I've not seen it appear...
>
> I'm a newbie when it comes to Git. Can you push it?

My question was actually addressed to Guenter, as he said "done" as in
indicating that he'd done the job!

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