profiles: update xfce4-whiskermenu-plugin mask.

Closes: https://github.com/gentoo/gentoo/pull/2598

Signed-off-by: Patrice Clement <monsieurp@gentoo.org>

diff --git a/profiles/package.mask b/profiles/package.mask
index ce8c5a486a5904fa8ee5300eec3638d6ccca3227..cd1e995ba5c1d04ce8bcfdeafefcd037683dd443 100644 (file)
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -605,7 +605,7 @@ dev-lang/python:3.3
 
 # Christian Tietz <christian.tietz@mailbox.org> (23 Aug 2016)
 # Depends on masked xfce-base/exo-0.11.1
-=xfce-extra/xfce4-whiskermenu-plugin-2.0.1
+>=xfce-extra/xfce4-whiskermenu-plugin-2.0.1
 
 # Brian Evans <grknight@gentoo.org> (22 Aug 2016)
 # PHP 5.5 has reached end of life and will no longer receive security updates.