From fe8f1aa8e615d6002bf400e3ce09eb24a3fbe789 Mon Sep 17 00:00:00 2001 From: Michał Górny Date: Sat, 28 Jul 2018 14:12:33 +0200 Subject: dev-java/jdom-jaxen: Remove last-rited pkg Closes: https://bugs.gentoo.org/559994 --- profiles/package.mask | 5 ----- 1 file changed, 5 deletions(-) (limited to 'profiles') diff --git a/profiles/package.mask b/profiles/package.mask index eddffc55f0ec..359d07e5b1f0 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -221,11 +221,6 @@ games-arcade/xevil dev-java/servletapi dev-java/sun-jacc-api -# Pacho Ramos (17 Jun 2018) -# Obsolete package not needed for a long time, bug #559994. Removal in a -# month. -dev-java/jdom-jaxen - # Pacho Ramos (17 Jun 2018) # Dead since 2013, not compatible with latest profiles (#642568). Removal in # a month -- cgit v1.2.3-65-gdbad