diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2017-02-12 11:39:06 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2017-02-12 11:39:06 -0500 |
| commit | bb2ffd6a6f3a1037ed1389ca3e0f3519f726367c (patch) | |
| tree | 86b8bd233e1a0ebe49ce3c54782773bead2d1845 /profiles | |
| parent | sys-kernel/spl: removing unused patches (diff) | |
| download | gentoo-bb2ffd6a6f3a1037ed1389ca3e0f3519f726367c.tar.gz gentoo-bb2ffd6a6f3a1037ed1389ca3e0f3519f726367c.tar.bz2 gentoo-bb2ffd6a6f3a1037ed1389ca3e0f3519f726367c.zip | |
profiles: mask dev-php/PEAR-PhpDocumentor for removal in 30 days.
Gentoo-Bug: 609138
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 35c68868f42b..a166d08cc393 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -31,6 +31,11 @@ #--- END OF EXAMPLES --- # Michael Orlitzky <mjo@gentoo.org> (12 Feb 2017) +# Use dev-php/phpDocumentor instead. Masked for removal +# in 30 days. Bug 609138. +dev-php/PEAR-PhpDocumentor + +# Michael Orlitzky <mjo@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 |