wrong version

diff --git a/main/php_version.h b/main/php_version.h
index d8084f7d91f29bad816d8831c54f7838e37d60aa..b474ccc22f46141da31d1acd831b0d8c0ab8aaa3 100644 (file)
--- 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