From owner-freebsd-ports-bugs@FreeBSD.ORG  Wed May 28 21:30:06 2008
Return-Path: <owner-freebsd-ports-bugs@FreeBSD.ORG>
Delivered-To: freebsd-ports-bugs@hub.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id C5F25106566B
	for <freebsd-ports-bugs@hub.freebsd.org>;
	Wed, 28 May 2008 21:30:06 +0000 (UTC)
	(envelope-from gnats@FreeBSD.org)
Received: from freefall.freebsd.org (freefall.freebsd.org
	[IPv6:2001:4f8:fff6::28])
	by mx1.freebsd.org (Postfix) with ESMTP id BEE108FC2E
	for <freebsd-ports-bugs@hub.freebsd.org>;
	Wed, 28 May 2008 21:30:06 +0000 (UTC)
	(envelope-from gnats@FreeBSD.org)
Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1])
	by freefall.freebsd.org (8.14.2/8.14.2) with ESMTP id m4SLU5cg001647
	for <freebsd-ports-bugs@freefall.freebsd.org>;
	Wed, 28 May 2008 21:30:05 GMT
	(envelope-from gnats@freefall.freebsd.org)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.14.2/8.14.1/Submit) id m4SLU5Hp001643;
	Wed, 28 May 2008 21:30:05 GMT (envelope-from gnats)
Date: Wed, 28 May 2008 21:30:05 GMT
Message-Id: <200805282130.m4SLU5Hp001643@freefall.freebsd.org>
To: freebsd-ports-bugs@FreeBSD.org
From: "Jesper Louis Andersen" <jesper.louis.andersen@gmail.com>
Cc: 
Subject: Re: ports/124061: [patch]: lang/mlton (new features)
X-BeenThere: freebsd-ports-bugs@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: Jesper Louis Andersen <jesper.louis.andersen@gmail.com>
List-Id: Ports bug reports <freebsd-ports-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>, 
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports-bugs>
List-Post: <mailto:freebsd-ports-bugs@freebsd.org>
List-Help: <mailto:freebsd-ports-bugs-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>, 
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 28 May 2008 21:30:06 -0000

The following reply was made to PR ports/124061; it has been noted by GNATS.

From: "Jesper Louis Andersen" <jesper.louis.andersen@gmail.com>
To: bug-followup@freebsd.org
Cc:  
Subject: Re: ports/124061: [patch]: lang/mlton (new features)
Date: Wed, 28 May 2008 22:53:33 +0200

 ------=_Part_22276_23977568.1212008013546
 Content-Type: text/plain; charset=ISO-8859-1
 Content-Transfer-Encoding: 7bit
 Content-Disposition: inline
 
 We've been discussing this patch and I approve of it ;)
 
 On Wed, May 28, 2008 at 7:10 PM, Edwin Groothuis <edwin@freebsd.org> wrote:
 
 > Maintainer of lang/mlton,
 >
 > Please note that PR ports/124061 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/124061
 >
 > --
 > Edwin Groothuis via the GNATS Auto Assign Tool
 > edwin@FreeBSD.org
 >
 
 ------=_Part_22276_23977568.1212008013546
 Content-Type: text/html; charset=ISO-8859-1
 Content-Transfer-Encoding: 7bit
 Content-Disposition: inline
 
 We&#39;ve been discussing this patch and I approve of it ;)<br><br><div class="gmail_quote">On Wed, May 28, 2008 at 7:10 PM, Edwin Groothuis &lt;<a href="mailto:edwin@freebsd.org">edwin@freebsd.org</a>&gt; wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
 Maintainer of lang/mlton,<br>
 <br>
 Please note that PR ports/124061 has just been submitted.<br>
 <br>
 If it contains a patch for an upgrade, an enhancement or a bug fix<br>
 you agree on, reply to this email stating that you approve the patch<br>
 and a committer will take care of it.<br>
 <br>
 The full text of the PR can be found at:<br>
  &nbsp; &nbsp;<a href="http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/124061" target="_blank">http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/124061</a><br>
 <font color="#888888"><br>
 --<br>
 Edwin Groothuis via the GNATS Auto Assign Tool<br>
 edwin@FreeBSD.org<br>
 </font></blockquote></div><br>
 
 ------=_Part_22276_23977568.1212008013546--