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 32ffc4b764bc23e1933d503d06474296094b004a..59e974d25f0ef59848baed9e74c8d110686e35f8 100644 (file)
--- 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