Bruno Haible Tue, 07 Sep 2010 13:18:15 -0700
Hi Stefano, > OK to push with the attached change squashed in?
Yes, this is fine. Please push! Bruno