Tom `Tom Tromey' changed the state to `closed'. State-Changed-From-To: open-closed State-Changed-By: tromey State-Changed-When: Fri Mar 28 11:43:17 2003 State-Changed-Why: Reported as closed.