diff options
author | Bernard Cafarelli <voyageur@gentoo.org> | 2017-12-06 16:25:38 +0100 |
---|---|---|
committer | Bernard Cafarelli <voyageur@gentoo.org> | 2017-12-06 16:25:38 +0100 |
commit | f2378f105da3bbdc56fe40323b97dd31044b8dcc (patch) | |
tree | 8fed6e5ef8a56f56db0fbaefa2e707fb5e692ad9 /profiles | |
parent | x11-plugins/wmsysmon: 0.7.8 new upstream, new ebuild (diff) | |
download | gentoo-f2378f105da3bbdc56fe40323b97dd31044b8dcc.tar.gz gentoo-f2378f105da3bbdc56fe40323b97dd31044b8dcc.tar.bz2 gentoo-f2378f105da3bbdc56fe40323b97dd31044b8dcc.zip |
profiles: update x11-plugins/wmsysmon mask
Newer version has different upstream (me) with some changes merged in
Keeping the original version in last rites list
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 78375438fe93..76ffd31ed64f 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -49,9 +49,9 @@ x11-plugins/wmnetselect x11-plugins/wmpiki x11-plugins/wmsound x11-plugins/wmsvencd -x11-plugins/wmsysmon x11-plugins/wmupmon x11-plugins/wmwave +<=x11-plugins/wmsysmon-0.7.7 # Ian Whyman <thev00d00@gentoo.org> (04 Dec 2017) # Declared dead upstream. Masked for removal in 30 days |