commit:     8bbd638bdd38205bcba44430f2422cbd008d389c
Author:     Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
AuthorDate: Sat Jun  8 21:01:01 2019 +0000
Commit:     Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
CommitDate: Sat Jun  8 21:01:01 2019 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8bbd638b

profiles: Change PHP_TARGETS default to php7-2

Signed-off-by: Thomas Deutschmann <whissi <AT> gentoo.org>

 profiles/base/make.defaults | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/profiles/base/make.defaults b/profiles/base/make.defaults
index 053b0e4ac85..cc08beb437d 100644
--- a/profiles/base/make.defaults
+++ b/profiles/base/make.defaults
@@ -169,4 +169,4 @@ 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="php5-6 php7-1"
+PHP_TARGETS="php7-2"

Reply via email to