diff options
author | Michael Orlitzky <mjo@gentoo.org> | 2017-03-08 08:12:39 -0500 |
---|---|---|
committer | Michael Orlitzky <mjo@gentoo.org> | 2017-03-08 08:13:31 -0500 |
commit | 46851bd763a58e9a914edda395f2617680b57719 (patch) | |
tree | 867a062105e778015edc5f1ba78b9eda3550e197 /profiles | |
parent | dev-php/PEAR-PHP_Shell: remove masked package. (diff) | |
download | gentoo-46851bd763a58e9a914edda395f2617680b57719.tar.gz gentoo-46851bd763a58e9a914edda395f2617680b57719.tar.bz2 gentoo-46851bd763a58e9a914edda395f2617680b57719.zip |
profiles: unmask recently-removed dev-php/PEAR-PHP_Shell.
Gentoo-Bug: 606836
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 0cafed3e0d6a..eeb3cffc7034 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -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 |