From: Michał Górny <mgorny@gentoo.org>
Date: Sat, 1 Dec 2018 18:09:44 +0000 (+0100)
Subject: profiles/base: Remove obsolete php5-5 mask
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=45159470fcaf38e7c34bf75f39c16c8c9b31a9eb;p=gentoo.git

profiles/base: Remove obsolete php5-5 mask

Signed-off-by: Michał Górny <mgorny@gentoo.org>
---

diff --git a/profiles/base/use.mask b/profiles/base/use.mask
index ff315cd45977..b7fada49ea9b 100644
--- a/profiles/base/use.mask
+++ b/profiles/base/use.mask
@@ -113,7 +113,3 @@ netlink
 # Enabling this you will get a fully unsupported Gnome setup that
 # could suffer unexpected problem, don't expect support for it then.
 openrc-force
-
-# Brian Evans <grknight@gentoo.org> (22 Aug 2016)
-# php 5.5 is end of life, masked for removal
-php_targets_php5-5