diff options
| author |   Michael Palimaka <kensington@gentoo.org> | 2015-12-10 20:49:03 +1100 |
|---|---|---|
| committer | Michael Palimaka <kensington@gentoo.org> | 2015-12-10 20:49:50 +1100 |
| commit | d5dad27e94ea5d4040d15102e6c43b5a8a33afca (patch) | |
| tree | 1720e1c5dde226e0288665435b061031fcbec225 /profiles | |
| parent | profiles/package.mask: Clean up a bunch of obsolete masks. (diff) | |
| download | gentoo-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.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index a646de03e01b..ea3ea934168c 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 |