projects
/
gentoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
cec0ff0
)
profiles: unmask recently-removed package dev-php/PEAR-PhpDocumentor.
author
Michael Orlitzky
<mjo@gentoo.org>
Tue, 14 Mar 2017 15:31:26 +0000
(11:31 -0400)
committer
Michael Orlitzky
<mjo@gentoo.org>
Tue, 14 Mar 2017 15:33:38 +0000
(11:33 -0400)
Gentoo-Bug: 609138
profiles/package.mask
patch
|
blob
|
history
diff --git
a/profiles/package.mask
b/profiles/package.mask
index 169bf5659fe36db34c5db882141a82ea3352a710..6056decfb36744b48822fe18ac52f8c247b9118d 100644
(file)
--- 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 <mjo@gentoo.org> (12 Feb 2017)
-# Use dev-php/phpDocumentor instead. Masked for removal
-# in 30 days. Bug 609138.
-dev-php/PEAR-PhpDocumentor
-
# Kent Fredric <kentnl@gentoo.org> (04 Feb 2017)
# Unsecure versions that have been only restored to tree
# to resolve compatibility problems with mail-filter/amavisd-new