On 01/03/07, Jarkko Hietaniemi <jhi@cc.hut.fi> wrote: > --- op.c.dist 2007-03-01 04:31:50.000000000 +0200 > +++ op.c 2007-03-01 04:32:08.000000000 +0200 Thanks, applied as #30433 (and the other small casting patch too).