diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-08-25 10:45:55 +0100 |
| commit | 3cf7c3ef441822c889356fd1812ebf2944a59851 (patch) | |
| tree | c513fe68548b40365c1c2ebfe35c58ad431cdd77 /profiles/base/make.defaults | |
| parent | 05b8b0e0af1d72e51a3ee61522941bf7605cd01c (diff) | |
gentoo resync : 25.08.2020
Diffstat (limited to 'profiles/base/make.defaults')
| -rw-r--r-- | profiles/base/make.defaults | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/profiles/base/make.defaults b/profiles/base/make.defaults index c8b3fcdddc14..1ac69f51ec90 100644 --- a/profiles/base/make.defaults +++ b/profiles/base/make.defaults @@ -163,7 +163,7 @@ POSTGRES_TARGETS="postgres10 postgres11" # Moreover, it should only contain targets that have a stable version # of PHP, to avoid pulling in an unstable PHP on stable systems. # -PHP_TARGETS="php7-2" +PHP_TARGETS="php7-2 php7-3" # Alfredo Tupone <tupone@gentoo.org> (2019-09-03) # |