summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2020-01-14 17:18:41 +0100
committerMichał Górny <mgorny@gentoo.org>2020-01-14 17:18:41 +0100
commitabe978512a3c062fab12008788883f254817fbd2 (patch)
tree6d22cc68e28e3ada7abfc0eeba2d40fed2925c9b /profiles
parentmedia-sound/vitunes: Remove last-rited pkg (diff)
downloadgentoo-abe978512a3c062fab12008788883f254817fbd2.tar.gz
gentoo-abe978512a3c062fab12008788883f254817fbd2.tar.bz2
gentoo-abe978512a3c062fab12008788883f254817fbd2.zip
dev-util/kelbt: Remove last-rited pkg
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r--profiles/package.mask5
1 files changed, 0 insertions, 5 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index e43e5f94b2a7..ee6cddc58a53 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -697,11 +697,6 @@ media-gfx/tic98
# Masked for removal in 30 days (bug #702416)
app-admin/grubconfig
-# Aaron Bauman <bman@gentoo.org> (2019-12-10)
-# EAPI=4, dead upstream, can't locate new home
-# Removal in 30 days
-dev-util/kelbt
-
# David Seifert <soap@gentoo.org> (2019-12-08)
# Unmaintained, build hangs, tons of other build failures, missing
# dependencies. Bug #663794, #666916, #666922, #667062, #678068,