On Mon, 2009-12-21 at 15:42 -0800, Khem Raj wrote: > On Mon, Dec 21, 2009 at 1:22 PM, GNUtoo <GNUtoo at no-log.org> wrote: > > ping: > > On Fri, 2009-12-18 at 00:08 +0100, Denis 'Gnutoo' Carikli wrote: [...] > looks ok Thanks a lot, pushed Denis