diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-06-16 21:23:20 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-06-16 21:23:20 +0100 |
commit | fab849d1daed0ba7f2ac497d07985c3dbb692543 (patch) | |
tree | 10baa743a5340b42ad538dd19d48669ccac209b1 /profiles/arch/arm/use.stable.mask | |
parent | 73c318acdaf6f8309d68bd266051e6dd1f1bd787 (diff) |
gentoo resync : 16.06.2019
Diffstat (limited to 'profiles/arch/arm/use.stable.mask')
-rw-r--r-- | profiles/arch/arm/use.stable.mask | 4 |
1 files changed, 4 insertions, 0 deletions
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 <whissi@gentoo.org> (08 Jun 2019) +# Needs dev-lang/php:7.3 stable +php_targets_php7-3 + # Mike Gilbert <floppym@gentoo.org> (08 Jun 2017) # dev-lang/python:3.7 is not stable. python_targets_python3_7 |