From: Gilles Dartiguelongue <eva@gentoo.org>
Date: Sat, 19 Aug 2017 22:35:18 +0000 (+0200)
Subject: profiles: drop obsolete mask for dev-util/devhelp[gedit]
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=ca0773089b60ca65ca5f4a96389383ae870296ca;p=gentoo.git

profiles: drop obsolete mask for dev-util/devhelp[gedit]
---

diff --git a/profiles/arch/arm/package.use.mask b/profiles/arch/arm/package.use.mask
index 32ffc4b764bc..59e974d25f0e 100644
--- a/profiles/arch/arm/package.use.mask
+++ b/profiles/arch/arm/package.use.mask
@@ -420,10 +420,6 @@ dev-util/dbus-test-runner test
 # remove mask when app-text/yelp-tools is keyworded here
 >=gnome-extra/zenity-3.6 test
 
-# Alexandre Rostovtsev <tetromino@gentoo.org> (27 Dec 2012)
-# remove mask when >=app-editors/gedit-3.6 is keyworded here
-dev-util/devhelp gedit
-
 # Markus Meier <maekke@gentoo.org> (25 Dez 2012)
 # unkeyworded deps for app-accessibility/speech-dispatcher
 app-accessibility/speech-dispatcher flite