On 06/30/2012 10:32 PM, Stefano Lattarini wrote:
>
> I will push the patch by tomorrow if there is no further feedback.
> 
Pushed now.

Regards,
  Stefano

Reply via email to