ports/94670: [UPDATE] math/proofgeneral 3.5 -> 3.6

[Timothy Bourke]

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

From: Timothy Bourke <timbob at bigpond.com>
To: bug-followup at FreeBSD.org
Cc:  
Subject: ports/94670: [UPDATE] math/proofgeneral 3.5 -> 3.6
Date: Wed, 5 Apr 2006 08:38:59 +1000

 --xesSdrSSBC0PokLI
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 
 The last hunk of the patch file (@@ -369,7 +426,7 @@) should be removed,
 it inadvertently undoes the good work of edwin (ports/88711).
 
 
 --xesSdrSSBC0PokLI
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v1.4.0 (FreeBSD)
 
 iD8DBQFEMvWDtKVK1sFb0ecRAgboAJ0Yt+Xox6CG4faqs4t/zY++/qRAFQCeOhRd
 vK+Wq0vq58wIIQx1kysR+60=
 =M5kl
 -----END PGP SIGNATURE-----
 
 --xesSdrSSBC0PokLI--