Originally sent on 28 January. On 01/28/10 15:03, Tom Tromey wrote: >>>>>> "Chris" == Chris Moller writes: >>>>>> > > Chris> Do you want me to send you a new patch? Or just commit it? > > Send a new patch. > Here 'tis. > Tom >