commit: bb2ffd6a6f3a1037ed1389ca3e0f3519f726367c Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org> AuthorDate: Sun Feb 12 16:39:06 2017 +0000 Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org> CommitDate: Sun Feb 12 16:39:06 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bb2ffd6a
profiles: mask dev-php/PEAR-PhpDocumentor for removal in 30 days. Gentoo-Bug: 609138 profiles/package.mask | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/profiles/package.mask b/profiles/package.mask index 35c68868f4..a166d08cc3 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -31,6 +31,11 @@ #--- END OF EXAMPLES --- # Michael Orlitzky <m...@gentoo.org> (12 Feb 2017) +# Use dev-php/phpDocumentor instead. Masked for removal +# in 30 days. Bug 609138. +dev-php/PEAR-PhpDocumentor + +# Michael Orlitzky <m...@gentoo.org> (12 Feb 2017) # Use PHP's FILTER_VALIDATE_IP instead. Masked for removal # in 30 days. Bug 609128. dev-php/PEAR-Net_CheckIP
