commit:     7fc7eb528bbd9018494f499d22f45e3ee6194f07
Author:     Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 14 15:31:26 2017 +0000
Commit:     Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Tue Mar 14 15:33:38 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7fc7eb52

profiles: unmask recently-removed package dev-php/PEAR-PhpDocumentor.

Gentoo-Bug: 609138

 profiles/package.mask | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/profiles/package.mask b/profiles/package.mask
index 169bf5659fe..6056decfb36 100644
--- a/profiles/package.mask
+++ b/profiles/package.mask
@@ -337,11 +337,6 @@ media-plugins/gst-plugins-ffmpeg
 # Bug 609142.
 dev-php/PEAR-Net_LDAP
 
-# 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
-
 # Kent Fredric <ken...@gentoo.org> (04 Feb 2017)
 # Unsecure versions that have been only restored to tree
 # to resolve compatibility problems with mail-filter/amavisd-new

Reply via email to