Date: Fri, 6 Mar 2009 13:20:02 GMT From: Andrew Bernard <andrewb@cs.cmu.edu> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/132357: [patch] lang/twelf update to new version Message-ID: <200903061320.n26DK2Ws025707@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/132357; it has been noted by GNATS. From: Andrew Bernard <andrewb@cs.cmu.edu> To: bug-followup@freebsd.org Cc: Subject: Re: ports/132357: [patch] lang/twelf update to new version Date: Fri, 6 Mar 2009 07:52:07 -0500 --0016368e1d8a97e32f046472c0ac Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Hi, Please don't use this patch! Can we use ports/131631 instead? I sent this to FreeBSD about three weeks ago to accomplish the same upgrade. My patch additionally includes improvements to the installation process and support for the smlnj-devel and mlton compilers. Thanks, -andrew On Fri, Mar 6, 2009 at 2:10 PM, Edwin Groothuis <edwin@freebsd.org> wrote: > Maintainer of lang/twelf, > > Please note that PR ports/132357 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/132357 > > -- > Edwin Groothuis via the GNATS Auto Assign Tool > edwin@FreeBSD.org > --0016368e1d8a97e32f046472c0ac Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Hi,<br><br>Please don't use this patch!<br><br>Can we use <span id=3D":= c8" class=3D"hP">ports/131631 instead?=A0 I sent this to FreeBSD about thre= e weeks ago to accomplish the same upgrade.<br><br>My patch additionally in= cludes improvements to the installation process and support for the smlnj-d= evel and mlton compilers.<br> <br>Thanks,<br><br>-andrew<br><br></span><div class=3D"gmail_quote">On Fri,= Mar 6, 2009 at 2:10 PM, Edwin Groothuis <span dir=3D"ltr"><<a href=3D"m= ailto:edwin@freebsd.org">edwin@freebsd.org</a>></span> wrote:<br><blockq= uote class=3D"gmail_quote" style=3D"border-left: 1px solid rgb(204, 204, 20= 4); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> Maintainer of lang/twelf,<br> <br> Please note that PR ports/132357 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> =A0 =A0<a href=3D"http://www.freebsd.org/cgi/query-pr.cgi?pr=3Dports/13235= 7" target=3D"_blank">http://www.freebsd.org/cgi/query-pr.cgi?pr=3Dports/132= 357</a><br> <font color=3D"#888888"><br> --<br> Edwin Groothuis via the GNATS Auto Assign Tool<br> edwin@FreeBSD.org<br> </font></blockquote></div><br> --0016368e1d8a97e32f046472c0ac--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200903061320.n26DK2Ws025707>