ports/126066: commit references a PR

[dfilter service]

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

From: dfilter at FreeBSD.ORG (dfilter service)
To: bug-followup at 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 at 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 at freebsd.org mailing list
 http://lists.freebsd.org/mailman/listinfo/cvs-all
 To unsubscribe, send any mail to "cvs-all-unsubscribe at freebsd.org"