From eb1fd1dbf5c543ac2d5836e413e21fa8656c371c Mon Sep 17 00:00:00 2001 From: Michał Górny Date: Sat, 28 Jul 2018 14:12:05 +0200 Subject: dev-java/jdom: Remove old masked version Bug: https://bugs.gentoo.org/559994 --- profiles/package.mask | 1 - 1 file changed, 1 deletion(-) (limited to 'profiles') diff --git a/profiles/package.mask b/profiles/package.mask index 60c767bb582e..eddffc55f0ec 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -225,7 +225,6 @@ dev-java/sun-jacc-api # Obsolete package not needed for a long time, bug #559994. Removal in a # month. dev-java/jdom-jaxen -=dev-java/jdom-1.0-r4 # Pacho Ramos (17 Jun 2018) # Dead since 2013, not compatible with latest profiles (#642568). Removal in -- cgit v1.2.3-65-gdbad