profiles: unmask recently-removed dev-php/PEAR-PHP_Shell.
authorMichael Orlitzky <mjo@gentoo.org>
Wed, 8 Mar 2017 13:12:39 +0000 (08:12 -0500)
committerMichael Orlitzky <mjo@gentoo.org>
Wed, 8 Mar 2017 13:13:31 +0000 (08:13 -0500)
Gentoo-Bug: 606836

profiles/package.mask

index 0cafed3e0d6afd368ef1fd0dee8cbcf8e4a06862..eeb3cffc703495dc99dbdbefb8ac86191b0ee311 100644 (file)
@@ -506,11 +506,6 @@ x11-drivers/ati-drivers
 =sys-libs/llvm-libunwind-4.0.0*
 >=dev-libs/libclc-0.2.0_pre20170118
 
-# 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
-
 # Yixun Lan <dlan@gentoo.org> (16 Jan 2017)
 # Masked, Vulnerable due to RGW Denial of Service (bug #598206)
 # We mask it instead of removing them, due user may need them while