Skip site navigation (1)Skip section navigation (2)
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>