diff options
| -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) # |