Gentoo Archives: gentoo-commits

From: "Michał Górny" <mgorny@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/base/
Date: Sat, 01 Dec 2018 18:13:45
Message-Id: 1543688006.45159470fcaf38e7c34bf75f39c16c8c9b31a9eb.mgorny@gentoo
1 commit: 45159470fcaf38e7c34bf75f39c16c8c9b31a9eb
2 Author: Michał Górny <mgorny <AT> gentoo <DOT> org>
3 AuthorDate: Sat Dec 1 18:09:44 2018 +0000
4 Commit: Michał Górny <mgorny <AT> gentoo <DOT> org>
5 CommitDate: Sat Dec 1 18:13:26 2018 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=45159470
7
8 profiles/base: Remove obsolete php5-5 mask
9
10 Signed-off-by: Michał Górny <mgorny <AT> gentoo.org>
11
12 profiles/base/use.mask | 4 ----
13 1 file changed, 4 deletions(-)
14
15 diff --git a/profiles/base/use.mask b/profiles/base/use.mask
16 index ff315cd4597..b7fada49ea9 100644
17 --- a/profiles/base/use.mask
18 +++ b/profiles/base/use.mask
19 @@ -113,7 +113,3 @@ netlink
20 # Enabling this you will get a fully unsupported Gnome setup that
21 # could suffer unexpected problem, don't expect support for it then.
22 openrc-force
23 -
24 -# Brian Evans <grknight@g.o> (22 Aug 2016)
25 -# php 5.5 is end of life, masked for removal
26 -php_targets_php5-5