| Summary: | [PATCH] java/jakarta-commons-pool: update to 1.5.5 | ||||||
|---|---|---|---|---|---|---|---|
| Product: | Ports & Packages | Reporter: | Jimmy Olgeni <olgeni> | ||||
| Component: | Individual Port(s) | Assignee: | Alex Dupre <ale> | ||||
| Status: | Closed FIXED | ||||||
| Severity: | Affects Only Me | CC: | toha | ||||
| Priority: | Normal | ||||||
| Version: | Latest | ||||||
| Hardware: | Any | ||||||
| OS: | Any | ||||||
| Attachments: |
|
||||||
|
Description
Jimmy Olgeni
2010-10-02 13:50:01 UTC
Responsible Changed From-To: freebsd-ports-bugs->olgeni Submitter has GNATS access (via the GNATS Auto Assign Tool) Maintainer of java/jakarta-commons-pool,
Please note that PR ports/151151 has just 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/151151
--
Edwin Groothuis via the GNATS Auto Assign Tool
edwin@FreeBSD.org
State Changed From-To: open->feedback Awaiting maintainers feedback (via the GNATS Auto Assign Tool) State Changed From-To: feedback->open Over to maintainer. Responsible Changed From-To: olgeni->ale State Changed From-To: open->closed Already updated. |