From: Joe Watkins <krakjoe@php.net>
Date: Thu, 5 Jan 2017 17:00:40 +0000 (+0000)
Subject: wrong version
X-Git-Tag: php-7.1.2RC1~165
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=4cce1e9a94e50a3f07e38e6c7110501e3b90a964;p=php

wrong version
---

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