com web/php: 7.2.14RC1: distributions include/version.inc
| From: | Remi Collet | Date: | Thu, 20 Dec 2018 09:54:13 +0000 |
| Subject: | com web/php: 7.2.14RC1: distributions include/version.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27601@lists.php.net to get a copy of this message | ||
Commit: a401a29e8b3f96410a651e1dd67c9f9718ad2305
Author: Remi Collet <remi@php.net> Thu, 20 Dec 2018 10:54:13 +0100
Parents: acd14e213cb5280ef1b3ef72485fedbeef7bd011
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=a401a29e8b3f96410a651e1dd67c9f9718ad2305
Log:
7.2.14RC1
Changed paths:
M distributions
M include/version.inc
Diff:
diff --git a/distributions b/distributions
index dcb0b1e..4d3854a 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit dcb0b1e834b1119c2b60819955565f23038c312d
+Subproject commit 4d3854a63959eec45d82e0b1a25d619ee13bd6b5
diff --git a/include/version.inc b/include/version.inc
index 6e33b13..8b6a730 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -28,8 +28,8 @@ $PHP_7_3_SHA256 = array(
);
/* PHP 7.2 Release */
-$PHP_7_2_RC = false; // Current RC version (e.g., '7.2.1RC1') or false
-$PHP_7_2_RC_DATE = "25 Oct 2018";
+$PHP_7_2_RC = '7.2.14RC1'; // Current RC version (e.g., '7.2.1RC1') or false
+$PHP_7_2_RC_DATE = "20 Dec 2018";
$PHP_7_2_VERSION = "7.2.13";
$PHP_7_2_DATE = "06 Dec 2018";