On 02/18/2014 11:39 PM, Andreas Enge wrote: > Thanks, also pushed! The patch that you could remove for gnurl is still > needed for curl? Did you make a bug report?
Yes, it is still needed. It has been fixed by cURL upstream though, so we can remove it after the next release. Sree