Commit: 9708c9b4d3ac915df3608a02afbed2638b3566a7 Author: Joe Watkins <[email protected]> Thu, 9 Nov 2017 16:04:03 +0000 Parents: bc30010d88c8873bddd500a0a0bfa5535d5ccb99 Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=9708c9b4d3ac915df3608a02afbed2638b3566a7 Log: 7.1.12RC1 Changed paths: M include/version.inc Diff: diff --git a/include/version.inc b/include/version.inc index 6c1ac80..a3edd43 100644 --- a/include/version.inc +++ b/include/version.inc @@ -17,8 +17,8 @@ */ /* PHP 7.1 Release */ -$PHP_7_1_RC = false; // Current RC version (e.g., '5.6.7RC1') or false -$PHP_7_1_RC_DATE = "12 Oct 2017"; +$PHP_7_1_RC = "7.1.12RC1"; // Current RC version (e.g., '5.6.7RC1') or false +$PHP_7_1_RC_DATE = "09 Nov 2017"; $PHP_7_1_VERSION = "7.1.11"; $PHP_7_1_DATE = "26 Oct 2017"; -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
