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

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 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 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 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 2010-02-26 09:31:04 UTC
State Changed
From-To: open->closed

Committed. Thanks!