Synopsis: [MAINTAINER] editors/leo: update to 3.12.b2 State-Changed-From-To: open->closed State-Changed-By: nork State-Changed-When: Tue Jul 15 18:18:26 PDT 2003 State-Changed-Why: Superseded by ports/54512. http://www.freebsd.org/cgi/query-pr.cgi?pr=54506