summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2019-04-28 22:00:03 +0200
committerMichał Górny <mgorny@gentoo.org>2019-04-28 22:02:30 +0200
commit6372ea1ec99a5312136a386a7c514ff2e3c40166 (patch)
tree47e9386d48748d81f79784dad9402d185e5095e2 /profiles
parentsys-kernel/gentoo-sources: cleanup old (diff)
downloadgentoo-6372ea1ec99a5312136a386a7c514ff2e3c40166.tar.gz
gentoo-6372ea1ec99a5312136a386a7c514ff2e3c40166.tar.bz2
gentoo-6372ea1ec99a5312136a386a7c514ff2e3c40166.zip
media-video/episoder: Remove last-rited pkg
Closes: https://bugs.gentoo.org/305121 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r--profiles/package.mask7
1 files changed, 0 insertions, 7 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index 3b11bc1e23be..87fd7697f240 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -657,13 +657,6 @@ media-gfx/swftools
# Removal in 30 days. Bug #617184.
media-sound/playmidi
-# Michał Górny <mgorny@gentoo.org> (29 Mar 2019)
-# Unmaintained. The current version was added in 2008, and a bump
-# was requested in 2010. Since then, upstream has disappeared,
-# and the tool requires fetching extra files from the upstream website.
-# Removal in 30 days. Bug #305121.
-media-video/episoder
-
# Robin H. Johnson <robbat2@gentoo.org> (25 Mar 2019)
# Requires >=dev-lang/lua-5.3 which is masked
sys-apps/likwid