| Summary: | dev-java/jdom-1.1.3-r1: removal | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Volkmar W. Pogatzki <gentoo> |
| Component: | Current packages | Assignee: | Java team <java> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | CC: | fordfrog, gentoo |
| Priority: | Normal | Keywords: | PullRequest |
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| See Also: | https://github.com/gentoo/gentoo/pull/37585 | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Bug Depends on: | 936193 | ||
| Bug Blocks: | 803521 | ||
|
Description
Volkmar W. Pogatzki
2024-06-18 05:25:07 UTC
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c68c71f4fc818cd57c501cd668e68a38ad82be7e commit c68c71f4fc818cd57c501cd668e68a38ad82be7e Author: Volkmar W. Pogatzki <gentoo@pogatzki.net> AuthorDate: 2024-07-17 07:11:33 +0000 Commit: Miroslav Šulc <fordfrog@gentoo.org> CommitDate: 2024-07-17 09:47:03 +0000 dev-java/jdom: drop 1.1.3-r1 Closes: https://bugs.gentoo.org/934484 Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net> Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org> dev-java/jdom/jdom-1.1.3-r1.ebuild | 51 -------------------------------------- 1 file changed, 51 deletions(-) |
