From owner-freebsd-ports-bugs@FreeBSD.ORG  Fri Aug 15 01:10: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 B738B106566B
	for <freebsd-ports-bugs@hub.freebsd.org>;
	Fri, 15 Aug 2008 01:10: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 9F4C18FC14
	for <freebsd-ports-bugs@hub.freebsd.org>;
	Fri, 15 Aug 2008 01:10: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 m7F1A6bt042571
	for <freebsd-ports-bugs@freefall.freebsd.org>;
	Fri, 15 Aug 2008 01:10:06 GMT
	(envelope-from gnats@freefall.freebsd.org)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.14.2/8.14.1/Submit) id m7F1A6wu042568;
	Fri, 15 Aug 2008 01:10:06 GMT (envelope-from gnats)
Date: Fri, 15 Aug 2008 01:10:06 GMT
Message-Id: <200808150110.m7F1A6wu042568@freefall.freebsd.org>
To: freebsd-ports-bugs@FreeBSD.org
From: dfilter@FreeBSD.ORG (dfilter service)
Cc: 
Subject: Re: ports/126066: commit references a PR
X-BeenThere: freebsd-ports-bugs@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: dfilter service <dfilter@FreeBSD.ORG>
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: Fri, 15 Aug 2008 01:10:06 -0000

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

From: dfilter@FreeBSD.ORG (dfilter service)
To: bug-followup@FreeBSD.org
Cc:  
Subject: Re: ports/126066: commit references a PR
Date: Fri, 15 Aug 2008 01:03:31 +0000 (UTC)

 edwin       2008-08-15 01:03:23 UTC
 
   FreeBSD ports repository
 
   Modified files:
     math/proofgeneral    Makefile distinfo pkg-plist 
     math/proofgeneral/files patch-Makefile 
   Added files:
     math/proofgeneral/files patch-isar-interface 
   Log:
   [MAINTAINER] math/proofgeneral: 3.7.0 -> 3.7.1
   
   PR:             ports/126066
   Submitted by:   Timothy Bourke <timbob@bigpond.com>
   
   Revision  Changes    Path
   1.21      +5 -4      ports/math/proofgeneral/Makefile
   1.7       +3 -3      ports/math/proofgeneral/distinfo
   1.7       +9 -5      ports/math/proofgeneral/files/patch-Makefile
   1.1       +11 -0     ports/math/proofgeneral/files/patch-isar-interface (new)
   1.10      +6 -0      ports/math/proofgeneral/pkg-plist
 _______________________________________________
 cvs-all@freebsd.org mailing list
 http://lists.freebsd.org/mailman/listinfo/cvs-all
 To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"