From: Michael Orlitzky Date: Sun, 22 Jan 2017 19:10:03 +0000 (-0500) Subject: profiles: mask dev-php/PEAR-PHP_Shell for removal. X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=bdea64a14ee8536797815a08cc1fcfdd90e380e2;p=gentoo.git profiles: mask dev-php/PEAR-PHP_Shell for removal. Gentoo-Bug: 606836 --- 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.