diff options
author | Tim Harder <radhermit@gentoo.org> | 2018-04-08 22:16:07 -0400 |
---|---|---|
committer | Tim Harder <radhermit@gentoo.org> | 2018-04-08 22:17:44 -0400 |
commit | 9e693f6e95094043cd5f89f2d6ca01f6a880a1e5 (patch) | |
tree | 614b9560b992ecdda942ee28825a9dff1e67a9d8 | |
parent | media-sound/mup: remove old (diff) | |
download | gentoo-9e693f6e95094043cd5f89f2d6ca01f6a880a1e5.tar.gz gentoo-9e693f6e95094043cd5f89f2d6ca01f6a880a1e5.tar.bz2 gentoo-9e693f6e95094043cd5f89f2d6ca01f6a880a1e5.zip |
profiles: drop mask for media-sound/mup
-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 3a5500e39c4b..602133392f2c 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -553,11 +553,6 @@ sys-power/phc-k8 sys-fs/gfs2-utils # Pacho Ramos <pacho@gentoo.org> (13 Mar 2018) -# Not buildable for a long time (#531586), pending many version bumps. -# Removal in a month. -media-sound/mup - -# Pacho Ramos <pacho@gentoo.org> (13 Mar 2018) # Many other ident daemons in the tree over this completely dead and # unmaintained (since 2003) implementation (#535868). Removal in a month. net-misc/linux-identd |