commit: bdea64a14ee8536797815a08cc1fcfdd90e380e2 Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org> AuthorDate: Sun Jan 22 19:10:03 2017 +0000 Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org> CommitDate: Sun Jan 22 19:10:03 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bdea64a1
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 e1d5b23..fecfb45 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,11 @@ #--- END OF EXAMPLES --- +# Michael Orlitzky <m...@gentoo.org> (22 Jan 2017) +# Use "php -a" instead. Masked for removal in 30 days. +# Bug 606836. +dev-php/PEAR-PHP_Shell + # Johannes Huber <j...@gentoo.org> (19 Jan 2017) # Plasma 4 removal in 30 days. Please read the news item. # All packages exported to kde-sunset overlay.
