Bug 143995 - [MAINTAINER] math/proofgeneral: new maintainer
Summary: [MAINTAINER] math/proofgeneral: new maintainer
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Martin Wilke
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-02-16 10:10 UTC by Timothy Bourke
Modified: 2010-02-26 09:40 UTC (History)
0 users

See Also:

Attachments
file.diff (260 bytes, patch)
2010-02-16 10:10 UTC, Timothy Bourke 		no flags Details | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Timothy Bourke 2010-02-16 10:10:02 UTC 
New maintainer: Timothy Beyer

Fix: Patch attached with submission follows:
Comment 1 Edwin Groothuis freebsd_committer freebsd_triage 2010-02-16 10:10:28 UTC 
Class Changed
From-To: change-request->maintainer-update

Fix category (submitter is maintainer) (via the GNATS Auto Assign Tool)
Comment 2 Martin Wilke freebsd_committer freebsd_triage 2010-02-16 10:15:26 UTC 
Responsible Changed
From-To: freebsd-ports-bugs->miwi

I'll take it.
Comment 3 dfilter service freebsd_committer freebsd_triage 2010-02-26 09:30:37 UTC 
miwi        2010-02-26 09:30:28 UTC

  FreeBSD ports repository

  Modified files:
    math/proofgeneral    Makefile 
    lang/polyml          Makefile 
    math/isabelle        Makefile 
  Log:
  - Pass maintainership to Timothy Beyer (beyert|at|cs.ucr.edu)
  
  PR:             143994 143995 143996
  Submitted by:   Timothy Bourke <timbob@bigpond.com> (maintainer)
  Feature safe:   yes
  
  Revision  Changes    Path
  1.10      +1 -1      ports/lang/polyml/Makefile
  1.13      +1 -1      ports/math/isabelle/Makefile
  1.24      +1 -1      ports/math/proofgeneral/Makefile
_______________________________________________
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"
Comment 4 Martin Wilke freebsd_committer freebsd_triage 2010-02-26 09:31:04 UTC 
State Changed
From-To: open->closed

Committed. Thanks!