On Monday 17 November 2008 01:23, Hamish Moffatt wrote: > On Mon, Nov 17, 2008 at 01:12:35AM +0100, Denys Vlasenko wrote: > > Fixed, thanks for noticing. > > Thanks, will you update the patch for 1.13.0? Done. -- vda