From fab849d1daed0ba7f2ac497d07985c3dbb692543 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 16 Jun 2019 21:23:20 +0100 Subject: gentoo resync : 16.06.2019 --- profiles/arch/arm/use.stable.mask | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'profiles/arch/arm/use.stable.mask') diff --git a/profiles/arch/arm/use.stable.mask b/profiles/arch/arm/use.stable.mask index 00124b594bbc..17a064b8ce9b 100644 --- a/profiles/arch/arm/use.stable.mask +++ b/profiles/arch/arm/use.stable.mask @@ -4,6 +4,10 @@ # This file requires eapi 5 or later. New entries go on top. # Please use the same syntax as in use.mask +# Thomas Deutschmann (08 Jun 2019) +# Needs dev-lang/php:7.3 stable +php_targets_php7-3 + # Mike Gilbert (08 Jun 2017) # dev-lang/python:3.7 is not stable. python_targets_python3_7 -- cgit v1.2.3