Gentoo Archives: gentoo-commits

From: Michael Orlitzky <mjo@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Sun, 12 Feb 2017 16:42:26
Message-Id: 1486917546.bb2ffd6a6f3a1037ed1389ca3e0f3519f726367c.mjo@gentoo
1 commit: bb2ffd6a6f3a1037ed1389ca3e0f3519f726367c
2 Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
3 AuthorDate: Sun Feb 12 16:39:06 2017 +0000
4 Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
5 CommitDate: Sun Feb 12 16:39:06 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bb2ffd6a
7
8 profiles: mask dev-php/PEAR-PhpDocumentor for removal in 30 days.
9
10 Gentoo-Bug: 609138
11
12 profiles/package.mask | 5 +++++
13 1 file changed, 5 insertions(+)
14
15 diff --git a/profiles/package.mask b/profiles/package.mask
16 index 35c68868f4..a166d08cc3 100644
17 --- a/profiles/package.mask
18 +++ b/profiles/package.mask
19 @@ -31,6 +31,11 @@
20 #--- END OF EXAMPLES ---
21
22 # Michael Orlitzky <mjo@g.o> (12 Feb 2017)
23 +# Use dev-php/phpDocumentor instead. Masked for removal
24 +# in 30 days. Bug 609138.
25 +dev-php/PEAR-PhpDocumentor
26 +
27 +# Michael Orlitzky <mjo@g.o> (12 Feb 2017)
28 # Use PHP's FILTER_VALIDATE_IP instead. Masked for removal
29 # in 30 days. Bug 609128.
30 dev-php/PEAR-Net_CheckIP