Commit: bbd56c64d6f5a208fe93d45ae28dc53a1d6f86d0 Author: Joe Watkins <[email protected]> Mon, 11 Jun 2018 07:19:49 +0200 Parents: 9c2e7d389a3186ba1dbb8bdde1b22eb4ce65d478 Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=bbd56c64d6f5a208fe93d45ae28dc53a1d6f86d0 Log: 7.1.19RC1 Changed paths: M include/version.inc Diff: diff --git a/include/version.inc b/include/version.inc index 82262cb..3db1cb9 100644 --- a/include/version.inc +++ b/include/version.inc @@ -32,8 +32,8 @@ $PHP_7_2_SHA256 = array( ); /* PHP 7.1 Release */ -$PHP_7_1_RC = "7.1.18RC1"; // Current RC version (e.g., '5.6.7RC1') or false -$PHP_7_1_RC_DATE = "10 May 2018"; +$PHP_7_1_RC = "7.1.19RC1"; // Current RC version (e.g., '5.6.7RC1') or false +$PHP_7_1_RC_DATE = "7 Jun 2018"; $PHP_7_1_VERSION = "7.1.18"; $PHP_7_1_DATE = "24 May 2018"; -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
