diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-08-14 10:00:03 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-08-14 10:02:55 +0200 |
commit | f9817ef6dd0b8152546951ebceb237b0fdeaad78 (patch) | |
tree | 50dd7e4c04e853daee28a64345ce8e4a766360f3 /profiles | |
parent | dev-libs/qcodeedit: Remove last-rited pkg, #603900 (diff) | |
download | gentoo-f9817ef6dd0b8152546951ebceb237b0fdeaad78.tar.gz gentoo-f9817ef6dd0b8152546951ebceb237b0fdeaad78.tar.bz2 gentoo-f9817ef6dd0b8152546951ebceb237b0fdeaad78.zip |
x11-terms/evilvte: Remove last-rited pkg, #601350
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 4a5710a758ef..ba77d9e145b6 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -343,12 +343,6 @@ app-editors/mp media-video/gnome-subtitles # Pacho Ramos <pacho@gentoo.org> (14 Jul 2017) -# Development stopped 4 years ago, relies on dead vte:2.90 and upstream -# refused to even try to migrate it (#601350). Also security issues -# (#611290). Removal in a month. -x11-terms/evilvte - -# Pacho Ramos <pacho@gentoo.org> (14 Jul 2017) # Dead for ages, relies on dead libs (#622010), you can move to moserial, cutecom or # minicom. Removal in 2 months. net-dialup/gtkterm |