On Tue, Jul 17, 2001 at 05:29:20PM +1000, matthew green wrote: > > thanks. is this patch OK to commit? Sure.