From 81e0bb6c32f6f0974d74214fcb86c03e6c42bd8d Mon Sep 17 00:00:00 2001 From: "Christoph M. Becker" Date: Tue, 29 Jan 2019 23:44:07 +0000 Subject: Update version for PHP 7.2.15RC1 --- main/php_version.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'main/php_version.h') diff --git a/main/php_version.h b/main/php_version.h index 9fbd31bc78..b61194b40a 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -3,6 +3,6 @@ #define PHP_MAJOR_VERSION 7 #define PHP_MINOR_VERSION 2 #define PHP_RELEASE_VERSION 15 -#define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "7.2.15-dev" +#define PHP_EXTRA_VERSION "RC1" +#define PHP_VERSION "7.2.15RC1" #define PHP_VERSION_ID 70215 -- cgit v1.2.1