Synopsis: [PATCH] x11-toolkits/fox12: fixed OPTIONS Responsible-Changed-From-To: freebsd-ports-bugs->itetcu Responsible-Changed-By: edwin Responsible-Changed-When: Tue Apr 17 11:10:14 UTC 2007 Responsible-Changed-Why: itetcu@ wants to have OPTIONS PRs http://www.freebsd.org/cgi/query-pr.cgi?pr=111762