Date: Sat, 29 Oct 2005 19:59:11 GMT From: Rene Ladan <r.c.ladan@student.tue.nl> To: freebsd-gnats-submit@FreeBSD.org Subject: ports/88197: math/coq: drop maintainership Message-ID: <200510291959.j9TJxB2X016354@www.freebsd.org> Resent-Message-ID: <200510292000.j9TK0TAK090525@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 88197
>Category: ports
>Synopsis: math/coq: drop maintainership
>Confidential: no
>Severity: non-critical
>Priority: low
>Responsible: freebsd-ports-bugs
>State: open
>Quarter:
>Keywords:
>Date-Required:
>Class: maintainer-update
>Submitter-Id: current-users
>Arrival-Date: Sat Oct 29 20:00:28 GMT 2005
>Closed-Date:
>Last-Modified:
>Originator: Rene Ladan
>Release:
>Organization:
>Environment:
>Description:
Drop maintainership of math/coq.
I don't use the software anymore and don't have access to a FreeBSD machine at the moment.
>How-To-Repeat:
>Fix:
>Release-Note:
>Audit-Trail:
>Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200510291959.j9TJxB2X016354>