Commit: fd53ed56fa02c5f383889f068d7e2efdb73f51d5 Author: Joe Watkins <krak...@php.net> Thu, 2 Aug 2018 19:53:10 +0200 Parents: d23eeb4e48d5632b31e13147811ef1b160a9ac43 Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=fd53ed56fa02c5f383889f068d7e2efdb73f51d5 Log: 7.1 release Changed paths: M include/version.inc Diff: diff --git a/include/version.inc b/include/version.inc index 66eabd4..a8dc507 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.20RC1'; // Current RC version (e.g., '5.6.7RC1') or false -$PHP_7_1_RC_DATE = "7 July 2018"; +$PHP_7_1_RC = '7.1.21RC1'; // Current RC version (e.g., '5.6.7RC1') or false +$PHP_7_1_RC_DATE = "2 Aug 2018"; $PHP_7_1_VERSION = "7.1.20"; $PHP_7_1_DATE = "19 Jul 2018"; -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php