From bb2ffd6a6f3a1037ed1389ca3e0f3519f726367c Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 12 Feb 2017 11:39:06 -0500 Subject: [PATCH] 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 35c68868f42b..a166d08cc393 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -30,6 +30,11 @@ #--- END OF EXAMPLES --- +# Michael Orlitzky (12 Feb 2017) +# Use dev-php/phpDocumentor instead. Masked for removal +# in 30 days. Bug 609138. +dev-php/PEAR-PhpDocumentor + # Michael Orlitzky (12 Feb 2017) # Use PHP's FILTER_VALIDATE_IP instead. Masked for removal # in 30 days. Bug 609128. -- 2.26.2