diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-11-02 12:49:39 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-11-02 13:28:46 +0100 |
commit | 59d7de546154ffb7ca670b903013f83ec2e2141b (patch) | |
tree | 3dc1545e8fddc41f8a37a914c420744c4b8f015c /profiles | |
parent | xfce-extra/xfce4-statusnotifier-plugin: Drop old (diff) | |
download | gentoo-59d7de546154ffb7ca670b903013f83ec2e2141b.tar.gz gentoo-59d7de546154ffb7ca670b903013f83ec2e2141b.tar.bz2 gentoo-59d7de546154ffb7ca670b903013f83ec2e2141b.zip |
dev-python/rope_py3k: Remove last-rited pkg
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 7e4c37c41ccb..4ad6845427f6 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -311,12 +311,6 @@ app-editors/atom:beta # (bug #620710). Masked for removal in 30 days. media-sound/lastfm-desktop -# Andrey Grozin <grozin@gentoo.org> (19 Sep 2017) -# This package was a stopgap to bump dev-python/spyder to 3.* -# Now >=dev-python/rope-0.10.7 supports python3, use it instead -# Masked for removal in 30 days. -dev-python/rope_py3k - # Pawel Hajdan, Jr. <phajdan.jr@gentoo.org> (18 Sep 2017) # Dev channel releases are only for people who are developers or want more # experimental features and accept a more unstable release. |