From bdea64a14ee8536797815a08cc1fcfdd90e380e2 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 22 Jan 2017 14:10:03 -0500 Subject: [PATCH] profiles: mask dev-php/PEAR-PHP_Shell for removal. Gentoo-Bug: 606836 --- profiles/package.mask | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index e1d5b234b712..fecfb45e822b 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,11 @@ #--- END OF EXAMPLES --- +# Michael Orlitzky (22 Jan 2017) +# Use "php -a" instead. Masked for removal in 30 days. +# Bug 606836. +dev-php/PEAR-PHP_Shell + # Johannes Huber (19 Jan 2017) # Plasma 4 removal in 30 days. Please read the news item. # All packages exported to kde-sunset overlay. -- 2.26.2