Synopsis: [patch] tell porters handbook about OPTIONS Responsible-Changed-From-To: josef->docs Responsible-Changed-By: edwin Responsible-Changed-When: Tue Mar 15 23:00:43 GMT 2005 Responsible-Changed-Why: Take away from Joseph since he's busy playing records :-) http://www.freebsd.org/cgi/query-pr.cgi?pr=76472