Bug 99341

Summary: math/isabelle: Fix plist
Product: Ports & Packages Reporter: Shaun Amott <shaun>
Component: Individual Port(s)Assignee: Shaun Amott <shaun>
Status: Closed FIXED    
Severity: Affects Only Me CC: timbob
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   
Attachments:
Description Flags
math::isabelle.diff none

Description Shaun Amott freebsd_committer freebsd_triage 2006-06-23 02:50:22 UTC 
Don't remove system files. :)
Comment 1 Edwin Groothuis freebsd_committer freebsd_triage 2006-06-23 02:51:29 UTC 
Responsible Changed
From-To: freebsd-ports-bugs->shaun

Submitter has GNATS access
Comment 2 Edwin Groothuis freebsd_committer freebsd_triage 2006-06-23 02:51:44 UTC 
State Changed
From-To: open->feedback

Awaiting maintainers feedback
Comment 3 Timothy Bourke 2006-06-23 03:19:47 UTC 
I approve the patch. Thank you.

On Jun 23 at 01:51 +0000, Edwin Groothuis wrote:
> Maintainer of math/isabelle,
> 
> Please note that PR ports/99341 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/99341
> 
> -- 
> Edwin Groothuis
> edwin@FreeBSD.org
Comment 4 Shaun Amott freebsd_committer freebsd_triage 2006-06-23 03:30:48 UTC 
State Changed
From-To: feedback->closed

Committed.