profiles: alpha/use.mask

Remove PHP 7.2 entry which is now stable

Signed-off-by: Brian Evans <grknight@gentoo.org>

diff --git a/profiles/arch/alpha/use.stable.mask b/profiles/arch/alpha/use.stable.mask
index 30fc79015c0b02ad54d33610a9c26121d42ea30a..e1b9f434793c9cbe3891716eb07e5ad206e532ed 100644 (file)
--- a/profiles/arch/alpha/use.stable.mask
+++ b/profiles/arch/alpha/use.stable.mask
@@ -1,13 +1,9 @@
-# Copyright 1999-2017 Gentoo Foundation
+# Copyright 1999-2018 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 # This file requires eapi 5 or later. New entries go on top.
 # Please use the same syntax as in use.mask
 
-# Brian Evans <grknight@gentoo.org> (14 Aug 2017)
-# Needs dev-lang/php:7.2 stable
-php_targets_php7-2
-
 # Mike Gilbert <floppym@gentoo.org> (08 Jun 2017)
 # dev-lang/python:3.7 is not stable.
 python_targets_python3_7