From bc9e025416ebe5bbd6cb5f471f071830fa00667e Mon Sep 17 00:00:00 2001 From: Christian Tietz Date: Wed, 19 Oct 2016 15:06:32 +0200 Subject: [PATCH] profiles: update xfce4-whiskermenu-plugin mask. Closes: https://github.com/gentoo/gentoo/pull/2598 Signed-off-by: Patrice Clement --- profiles/package.mask | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/profiles/package.mask b/profiles/package.mask index ce8c5a486a590..cd1e995ba5c1d 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -605,7 +605,7 @@ dev-lang/python:3.3 # Christian Tietz (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 (22 Aug 2016) # PHP 5.5 has reached end of life and will no longer receive security updates.