On 07/06/2012 09:31 AM, Akim Demaille wrote: > Le 5 juil. 2012 à 17:24, Stefano Lattarini a écrit : > >> For the moment, I think we should just apply my patch; we can implement >> incremental improvements on it later (if we manage to find them ;-) > > Definitely. > Thanks, pushed.
Regards, Stefano
