ports/183412: [PATCH] ports-mgmt/porttools: Allow using another ports tree
edwin at FreeBSD.org
edwin at FreeBSD.org
Mon Oct 28 17:00:08 UTC 2013
Synopsis: [PATCH] ports-mgmt/porttools: Allow using another ports tree
State-Changed-From-To: open->feedback
State-Changed-By: edwin
State-Changed-When: Mon Oct 28 17:00:08 UTC 2013
State-Changed-Why:
Awaiting maintainers feedback (via the GNATS Auto Assign Tool)
http://www.freebsd.org/cgi/query-pr.cgi?pr=183412
More information about the freebsd-ports-bugs
mailing list