diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-09-21 18:00:10 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-09-21 18:00:10 +0100 |
| commit | 265dbe5dbc14c199299496c6db8fce3f76647015 (patch) | |
| tree | ab18b5617d138f6684566b619405090989d55a2c /profiles/arch/alpha/use.stable.mask | |
| parent | 586819755b4dbfdffdc8a725ab7c0f86095b8489 (diff) | |
gentoo resync : 21.09.2018
Diffstat (limited to 'profiles/arch/alpha/use.stable.mask')
| -rw-r--r-- | profiles/arch/alpha/use.stable.mask | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/profiles/arch/alpha/use.stable.mask b/profiles/arch/alpha/use.stable.mask index 3bc017ef9a61..30fc79015c0b 100644 --- a/profiles/arch/alpha/use.stable.mask +++ b/profiles/arch/alpha/use.stable.mask @@ -4,15 +4,15 @@ # 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 python_single_target_python3_7 -# Brian Evans <grknight@gentoo.org> (16 Dec 2017) -# Needs dev-lang/php:7.1 stable -php_targets_php7-1 - # Tobias Klausmann <klausman@gentoo.org> (17 Mar 2016) # Webkit itself is enormous (~13h compile+test on our fastest dev machine), so # it will remain not-stable forever. Mask the USE flag accordingly. |