ID | Product | Component | Assignee▲ | Status▲ | Resolution | Summary | Changed |
---|---|---|---|---|---|---|---|
68511 | Ports & Packages | Individual Port(s) | hq | Closed | FIXED | [PATCH] java/jdom: update to 1.0b10 | 2004-08-16 |
122258 | Ports & Packages | Individual Port(s) | hq | Closed | FIXED | [Update]java/jdom: update to 1.1 from 1.0 | 2008-04-06 |
27814 | Ports & Packages | Individual Port(s) | ports | Closed | FIXED | New port: java/jdom | 2001-06-25 |
64703 | Base System | java | znerd | Closed | FIXED | Update port: java/jdom [PATCH] | 2004-04-15 |