On Thu, 22 May 2014, Jakub Hrozek wrote:
>> The updated code change looks OK to me (but I've not actually exercised the
>> new arm).
>
> Daniel, is it OK if I push this patch?
No need to ask me for permission. I trust you and your judgement, and if
there's more people giving their thumbs up I think you can just go ahead and
push with confidence too!
-- / daniel.haxx.seReceived on 2014-05-22