Bug 88136
| Summary: | Deprecated port: deskutils/gdesklets-psi_themes | ||||||
|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | Jean Milanez Melo <jmelo> | ||||
| Component: | Individual Port(s) | Assignee: | freebsd-ports-bugs (Nobody) <ports-bugs> | ||||
| Status: | Closed FIXED | ||||||
| Severity: | Affects Only Me | CC: | klammer | ||||
| Priority: | Normal | ||||||
| Version: | Latest | ||||||
| Hardware: | Any | ||||||
| OS: | Any | ||||||
| Attachments: |
|
||||||
|
Description
Jean Milanez Melo
2005-10-28 15:00:36 UTC
Maintainer of deskutils/gdesklets-psi_themes,
Please note that PR ports/88136 just has 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/88136
--
Edwin Groothuis
edwin@FreeBSD.org
approved, thanks! i now that this port is unfetchable from the ports-downloadpage. sorry that i didn't send a PR about removing this port because it is still fetchable from ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/ and some other ports depending on it. is there a easy way to send all maintainers of the other ports that this port will be removed? - then it's possible to delete this port imediately. Edwin Groothuis wrote: > Maintainer of deskutils/gdesklets-psi_themes, > > Please note that PR ports/88136 just has 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/88136 > State Changed From-To: open->closed I have deleted the port instead |
