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
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