Synopsis: ports-mgmt/porttools - wrong prefix State-Changed-From-To: open->closed State-Changed-By: stefan State-Changed-When: Fri Oct 10 13:44:20 UTC 2008 State-Changed-Why: Close this PR. Looks like a left-over. http://www.freebsd.org/cgi/query-pr.cgi?pr=97254