ports/124061: [patch]: lang/mlton (new features)

[Jesper Louis Andersen]

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

From: "Jesper Louis Andersen" <jesper.louis.andersen at gmail.com>
To: bug-followup at 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 at 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 at FreeBSD.org
 >
 
 ------=_Part_22276_23977568.1212008013546
 Content-Type: text/html; charset=ISO-8859-1
 Content-Transfer-Encoding: 7bit
 Content-Disposition: inline
 
 We'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 <<a href="mailto:edwin at freebsd.org">edwin at freebsd.org</a>> 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>
     <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 at FreeBSD.org<br>
 </font></blockquote></div><br>
 
 ------=_Part_22276_23977568.1212008013546--