> Oops, sorry. > Please check this in (I think under obvious bug rule, otherwise someone > would have to approve the mips part). Even if so, it is OK. -eric -- Fridays are not "pants optional"