From: Michael Orlitzky <mjo@gentoo.org>
Date: Sun, 12 Feb 2017 16:39:06 +0000 (-0500)
Subject: profiles: mask dev-php/PEAR-PhpDocumentor for removal in 30 days.
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=bb2ffd6a6f3a1037ed1389ca3e0f3519f726367c;p=gentoo.git

profiles: mask dev-php/PEAR-PhpDocumentor for removal in 30 days.

Gentoo-Bug: 609138
---

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 <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.