>>>>> "Tom" == Tom Tromey <[EMAIL PROTECTED]> writes:
Tom> Thanks. I'm checking this in, with the correction from Tom> Michael Koch. Sorry this took so long, normally we're much faster at Tom> checking in small, obviously-correct patches :-) Oh, Mark -- I think this is a reasonable candidate for 0.92. Tom
