profiles: mask dev-php/PEAR-PHP_Shell for removal.
authorMichael Orlitzky <mjo@gentoo.org>
Sun, 22 Jan 2017 19:10:03 +0000 (14:10 -0500)
committerMichael Orlitzky <mjo@gentoo.org>
Sun, 22 Jan 2017 19:10:03 +0000 (14:10 -0500)
Gentoo-Bug: 606836

profiles/package.mask

index e1d5b234b712f220e879aa32ddbf5bd0770a5a66..fecfb45e822b25490573bc4313491ec7667c81ab 100644 (file)
 
 #--- END OF EXAMPLES ---
 
+# Michael Orlitzky <mjo@gentoo.org> (22 Jan 2017)
+# Use "php -a" instead. Masked for removal in 30 days.
+# Bug 606836.
+dev-php/PEAR-PHP_Shell
+
 # Johannes Huber <johu@gentoo.org> (19 Jan 2017)
 # Plasma 4 removal in 30 days. Please read the news item.
 # All packages exported to kde-sunset overlay.