wrong version

krakjoe · krakjoe · commit 4cce1e9a94e5 · 2017-01-05T17:00:40.000Z
diff --git 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
