diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-07-28 14:12:33 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-07-28 14:15:41 +0200 |
| commit | fe8f1aa8e615d6002bf400e3ce09eb24a3fbe789 (patch) | |
| tree | 020e23f5f0cc1152842dbfad26f6b91631f6b3f9 /profiles | |
| parent | dev-java/jdom: Remove old masked version (diff) | |
| download | gentoo-fe8f1aa8e615d6002bf400e3ce09eb24a3fbe789.tar.gz gentoo-fe8f1aa8e615d6002bf400e3ce09eb24a3fbe789.tar.bz2 gentoo-fe8f1aa8e615d6002bf400e3ce09eb24a3fbe789.zip | |
dev-java/jdom-jaxen: Remove last-rited pkg
Closes: https://bugs.gentoo.org/559994
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index eddffc55f0ec..359d07e5b1f0 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -222,11 +222,6 @@ dev-java/servletapi dev-java/sun-jacc-api # Pacho Ramos <pacho@gentoo.org> (17 Jun 2018) -# Obsolete package not needed for a long time, bug #559994. Removal in a -# month. -dev-java/jdom-jaxen - -# Pacho Ramos <pacho@gentoo.org> (17 Jun 2018) # Dead since 2013, not compatible with latest profiles (#642568). Removal in # a month net-vpn/miredo |