Synopsis: editors/pico library version issue State-Changed-From-To: open->closed State-Changed-By: wiz@netbsd.org State-Changed-When: Mon, 27 Dec 2004 22:31:51 +0000 State-Changed-Why: fredb explained why we don't want to do this.