ports/186639: [patch] ports-mgmt/portlint various improvements

edwin at FreeBSD.org edwin at FreeBSD.org
Mon Feb 10 23:40:08 UTC 2014

Previous message: ports/186639: [patch] ports-mgmt/portlint various improvements
Next message: ports/186629: multimedia/vlc fails to build when 'pulseaudio' option is selected
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Synopsis: [patch] ports-mgmt/portlint various improvements

Responsible-Changed-From-To: freebsd-ports-bugs->marcus
Responsible-Changed-By: edwin
Responsible-Changed-When: Mon Feb 10 23:40:07 UTC 2014
Responsible-Changed-Why: 
Over to maintainer (via the GNATS Auto Assign Tool)

http://www.freebsd.org/cgi/query-pr.cgi?pr=186639

Previous message: ports/186639: [patch] ports-mgmt/portlint various improvements
Next message: ports/186629: multimedia/vlc fails to build when 'pulseaudio' option is selected
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-ports-bugs mailing list