From ca0773089b60ca65ca5f4a96389383ae870296ca Mon Sep 17 00:00:00 2001
From: Gilles Dartiguelongue <eva@gentoo.org>
Date: Sun, 20 Aug 2017 00:35:18 +0200
Subject: [PATCH] profiles: drop obsolete mask for dev-util/devhelp[gedit]

---
 profiles/arch/arm/package.use.mask | 4 ----
 1 file changed, 4 deletions(-)

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
-- 
2.26.2