On Mon, Aug 8, 2011 at 07:39, Romain Geissler <romain.geiss...@gmail.com> wrote: > 2011/7/20 Diego Novillo <dnovi...@google.com>: >> On Mon, Jul 18, 2011 at 03:06, Romain Geissler >> I will commit this patch shortly. >> >> >> Diego. >> > > Ping !
Romain, please send me a current patch against today's trunk. Thanks. Diego.