2008/8/8 Gabriel Dos Reis <gdr@integrable-solutions.net>: > On Tue, Aug 5, 2008 at 4:16 AM, Manuel López-Ibáñez >> >> OK for trunk? >> > > OK. Paolo, the patch has been committed as rev 138893. Cheers, Manuel.