Date: Fri, 30 Mar 2012 19:20:09 GMT From: Edwin Groothuis <edwin@FreeBSD.org> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/166524: [PATCH] ports-mgmt/porttools: add OPTIONS Message-ID: <201203301920.q2UJK9cM078647@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/166524; it has been noted by GNATS.
From: Edwin Groothuis <edwin@FreeBSD.org>
To: joemann@beefree.free.de
Cc: bug-followup@FreeBSD.org
Subject: Re: ports/166524: [PATCH] ports-mgmt/porttools: add OPTIONS
Date: Fri, 30 Mar 2012 19:10:20 UT
Maintainer of ports-mgmt/porttools,
Please note that PR ports/166524 has just been submitted.
If it contains a patch for an upgrade, an enhancement or a bug fix
you agree on, reply to this email stating that you approve the patch
and a committer will take care of it.
The full text of the PR can be found at:
http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/166524
--
Edwin Groothuis via the GNATS Auto Assign Tool
edwin@FreeBSD.org
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201203301920.q2UJK9cM078647>