On Tuesday 07 September 2010, Bruno Haible wrote:
> Hi Stefano,
> 
> > OK to push with the attached change squashed in?
> 
> Yes, this is fine. Please push!
Pushed now.

Regards,
   Stefano

Reply via email to