diff options
author | Mart Raudsepp <leio@gentoo.org> | 2017-05-15 12:33:33 +0300 |
---|---|---|
committer | Mart Raudsepp <leio@gentoo.org> | 2017-05-15 12:33:33 +0300 |
commit | 91e03c845dc697e347ce8a928ce87bfca727188c (patch) | |
tree | 1a70788e8f1df3d4b2f9c738acd437be408641c6 /profiles | |
parent | dev-libs/jsoncpp: Remove old ~arch (diff) | |
download | gentoo-91e03c845dc697e347ce8a928ce87bfca727188c.tar.gz gentoo-91e03c845dc697e347ce8a928ce87bfca727188c.tar.bz2 gentoo-91e03c845dc697e347ce8a928ce87bfca727188c.zip |
gnome-extra/gnome-shell-extensions-topicons: Remove last rited package
Use gnome-extra/gnome-shell-extensions-topicons-plus instead
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 70bb97917a0c..95d7a6d40828 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -257,16 +257,6 @@ app-emulation/wine-any # Part of the JDK since Java 6. Removal in 30 days. dev-java/jaxme -# Mart Raudsepp <leio@gentoo.org> (04 Apr 2017) -# Masked for removal in 30 days. Does not work with new -# gnome-base/gnome-shell. -# gnome-extra/gnome-shell-extensions-topicons-plus is a -# fork that has added features and works with modern -# gnome-shell that is suitable as a system-wide replacement -# package. Alternatively it can be installed per-user from -# https://extensions.gnome.org/extension/1031/topicons/ -gnome-extra/gnome-shell-extensions-topicons - # NP-Hardassr <NP-Hardass@gentoo.org> (03 Apr 2017) # Masked for removal in 30 days. Unable to generate new # hashes for the manifest, per Bug #612720, Bug #612718 |