diff options
author | Michał Górny <mgorny@gentoo.org> | 2020-09-07 08:14:24 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2020-09-07 08:17:45 +0200 |
commit | f974ba0c4f5e8f22e06da075e8dcb180256b2a56 (patch) | |
tree | 1ce772f5ac17474f6f1f1c9bd2bc4f07e6a334a3 /profiles | |
parent | media-sound/jackbeat: Remove last-rited pkg (diff) | |
download | gentoo-f974ba0c4f5e8f22e06da075e8dcb180256b2a56.tar.gz gentoo-f974ba0c4f5e8f22e06da075e8dcb180256b2a56.tar.bz2 gentoo-f974ba0c4f5e8f22e06da075e8dcb180256b2a56.zip |
media-sound/specimen: Remove last-rited pkg
Closes: https://bugs.gentoo.org/736322
Signed-off-by: Michał Górny <mgorny@gentoo.org>
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 facac31aa726..694b0cc05f5d 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -577,11 +577,6 @@ virtual/modutils # Removal in 30 days. bug #736326 media-sound/tapiir -# Miroslav Šulc <fordfrog@gentoo.org> (2020-08-08) -# Last release in 2007, HOMEPAGE dead. -# Removal in 30 days. bug #736322 -media-sound/specimen - # Hans de Graaff <graaff@gentoo.org> (2020-08-07) # Slot with known security issues. Please use a newer slot # instead. Removal in 30 days. Bug #713478. |