Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 17 Mar 2013 09:40:14 GMT
From:      edwin@FreeBSD.org
To:        edwin@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, marcus@FreeBSD.org
Subject:   Re: ports/177048: [PATCH] ports-mgmt/portlint: promo PORT_OPTIONS:MDOC rather than NOPORTDOCS
Message-ID:  <201303170940.r2H9eEwo068933@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help
Synopsis: [PATCH] ports-mgmt/portlint: promo PORT_OPTIONS:MDOC rather than NOPORTDOCS

Responsible-Changed-From-To: freebsd-ports-bugs->marcus
Responsible-Changed-By: edwin
Responsible-Changed-When: Sun Mar 17 09:40:14 UTC 2013
Responsible-Changed-Why: 
Over to maintainer (via the GNATS Auto Assign Tool)

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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201303170940.r2H9eEwo068933>