Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 934484 - dev-java/jdom-1.1.3-r1: removal
Summary: dev-java/jdom-1.1.3-r1: removal
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Java team
URL:
Whiteboard:
Keywords: PullRequest
Depends on: 936193
Blocks: EAPI7Removal
  Show dependency tree
 
Reported: 2024-06-18 05:25 UTC by Volkmar W. Pogatzki
Modified: 2024-07-17 09:47 UTC (History)
2 users (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Volkmar W. Pogatzki 2024-06-18 05:25:07 UTC 
Please remove after stabilizing 1.1.3-r2.
Comment 1 Larry the Git Cow gentoo-dev 2024-07-17 09:47:18 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(-)