Bug 88197 - math/coq: drop maintainership
Summary: math/coq: drop maintainership
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: freebsd-ports-bugs (Nobody)
Depends on:
Reported: 2005-10-29 21:00 UTC by Rene Ladan
Modified: 2005-10-29 21:15 UTC (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Rene Ladan 2005-10-29 21:00:28 UTC
Drop maintainership of math/coq.

I don't use the software anymore and don't have access to a FreeBSD machine at the moment.
Comment 1 Marcus Alves Grando freebsd_committer 2005-10-29 21:15:14 UTC
State Changed
From-To: open->closed

Fixed. Thanks.