On Thu, 7 Nov 2013, Nicolas Pitre wrote: > On Thu, 7 Nov 2013, Dave Martin wrote: > > > On Thu, Nov 07, 2013 at 08:12:48AM +0000, Vyacheslav Tyrtov wrote: [...] Gah. Sorry for the triplicates. Nicolas