com web/php: 7.1.19RC1: include/version.inc
| From: | Joe Watkins | Date: | Mon, 11 Jun 2018 05:19:49 +0000 |
| Subject: | com web/php: 7.1.19RC1: include/version.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27043@lists.php.net to get a copy of this message | ||
Commit: bbd56c64d6f5a208fe93d45ae28dc53a1d6f86d0
Author: Joe Watkins <krakjoe@php.net> 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";