From 4cce1e9a94e50a3f07e38e6c7110501e3b90a964 Mon Sep 17 00:00:00 2001 From: Joe Watkins Date: Thu, 5 Jan 2017 17:00:40 +0000 Subject: [PATCH] wrong version --- main/php_version.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main/php_version.h b/main/php_version.h index d8084f7d91..b474ccc22f 100644 --- a/main/php_version.h +++ b/main/php_version.h @@ -4,5 +4,5 @@ #define PHP_MINOR_VERSION 1 #define PHP_RELEASE_VERSION 2 #define PHP_EXTRA_VERSION "-dev" -#define PHP_VERSION "7.1.1-dev" +#define PHP_VERSION "7.1.2-dev" #define PHP_VERSION_ID 70102 -- 2.40.0