summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Palimaka <kensington@gentoo.org>2015-12-10 20:49:03 +1100
committerMichael Palimaka <kensington@gentoo.org>2015-12-10 20:49:50 +1100
commitd5dad27e94ea5d4040d15102e6c43b5a8a33afca (patch)
tree1720e1c5dde226e0288665435b061031fcbec225 /profiles
parentprofiles/package.mask: Clean up a bunch of obsolete masks. (diff)
downloadgentoo-d5dad27e94ea5d4040d15102e6c43b5a8a33afca.tar.gz
gentoo-d5dad27e94ea5d4040d15102e6c43b5a8a33afca.tar.bz2
gentoo-d5dad27e94ea5d4040d15102e6c43b5a8a33afca.zip
profiles: mask x11-plugins/wmium for removal
Gentoo-bug: 567532
Diffstat (limited to 'profiles')
-rw-r--r--profiles/package.mask5
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask
index a646de03e01..ea3ea934168 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -30,6 +30,11 @@
#--- END OF EXAMPLES ---
+# Michael Palimaka <kensington@gentoo.org> (10 Dec 2015)
+# Relies on dead ISP API. Dead upstream. Masked for removal in 30 days.
+# Bug 567532
+x11-plugins/wmium
+
# Michael Sterrett <mr_bones_@gentoo.org> (09 Dec 2015)
# Unneeded now that lugaru is open-source. (bug #505610)
# Masked for removal on 20160108