projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
e0acd95
)
profiles: unmask recently-removed dev-php/PEAR-PHP_Shell.
author
Michael Orlitzky
<mjo@gentoo.org>
Wed, 8 Mar 2017 13:12:39 +0000
(08:12 -0500)
committer
Michael Orlitzky
<mjo@gentoo.org>
Wed, 8 Mar 2017 13:13:31 +0000
(08:13 -0500)
Gentoo-Bug: 606836
profiles/package.mask
patch
|
blob
|
history
diff --git
a/profiles/package.mask
b/profiles/package.mask
index 0cafed3e0d6afd368ef1fd0dee8cbcf8e4a06862..eeb3cffc703495dc99dbdbefb8ac86191b0ee311 100644
(file)
--- 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