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, 22 Jan 2017 19:13:15
Message-Id: 1485112203.bdea64a14ee8536797815a08cc1fcfdd90e380e2.mjo@gentoo
1 commit: bdea64a14ee8536797815a08cc1fcfdd90e380e2
2 Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
3 AuthorDate: Sun Jan 22 19:10:03 2017 +0000
4 Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
5 CommitDate: Sun Jan 22 19:10:03 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bdea64a1
7
8 profiles: mask dev-php/PEAR-PHP_Shell for removal.
9
10 Gentoo-Bug: 606836
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 e1d5b23..fecfb45 100644
17 --- a/profiles/package.mask
18 +++ b/profiles/package.mask
19 @@ -30,6 +30,11 @@
20
21 #--- END OF EXAMPLES ---
22
23 +# Michael Orlitzky <mjo@g.o> (22 Jan 2017)
24 +# Use "php -a" instead. Masked for removal in 30 days.
25 +# Bug 606836.
26 +dev-php/PEAR-PHP_Shell
27 +
28 # Johannes Huber <johu@g.o> (19 Jan 2017)
29 # Plasma 4 removal in 30 days. Please read the news item.
30 # All packages exported to kde-sunset overlay.