From owner-freebsd-ports-bugs@FreeBSD.ORG Fri Mar 6 13:20:02 2009 Return-Path: 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 A95581065672 for ; Fri, 6 Mar 2009 13:20:02 +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 970338FC18 for ; Fri, 6 Mar 2009 13:20:02 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.14.3/8.14.3) with ESMTP id n26DK2p2025708 for ; Fri, 6 Mar 2009 13:20:02 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.14.3/8.14.3/Submit) id n26DK2Ws025707; Fri, 6 Mar 2009 13:20:02 GMT (envelope-from gnats) Date: Fri, 6 Mar 2009 13:20:02 GMT Message-Id: <200903061320.n26DK2Ws025707@freefall.freebsd.org> To: freebsd-ports-bugs@FreeBSD.org From: Andrew Bernard Cc: Subject: Re: ports/132357: [patch] lang/twelf update to new version X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: Andrew Bernard List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 06 Mar 2009 13:20:02 -0000 The following reply was made to PR ports/132357; it has been noted by GNATS. From: Andrew Bernard 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 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,

Please don't use this patch!

Can we use ports/131631 instead?=A0 I sent this to FreeBSD about thre= e weeks ago to accomplish the same upgrade.

My patch additionally in= cludes improvements to the installation process and support for the smlnj-d= evel 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:
=A0 =A0http://www.freebsd.org/cgi/query-pr.cgi?pr=3Dports/132= 357

--
Edwin Groothuis via the GNATS Auto Assign Tool
edwin@FreeBSD.org

--0016368e1d8a97e32f046472c0ac--