com web/php: 7.2.8RC1: distributions include/version.inc
| From: | Remi Collet | Date: | Thu, 05 Jul 2018 11:39:06 +0000 |
| Subject: | com web/php: 7.2.8RC1: distributions include/version.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27107@lists.php.net to get a copy of this message | ||
Commit: bbb679f4233e1be3699c6d510b413299100c0362
Author: Remi Collet <remi@php.net> Thu, 5 Jul 2018 13:39:06 +0200
Parents: 2a0238447c7378360d84bfcf3a4f4ad030a04b30
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=bbb679f4233e1be3699c6d510b413299100c0362
Log:
7.2.8RC1
Changed paths:
M distributions
M include/version.inc
Diff:
diff --git a/distributions b/distributions
index 3e702cc..5de6e2b 160000
--- a/distributions
+++ b/distributions
@@ -1 +1 @@
-Subproject commit 3e702cce59374b5c8119d1e7cd3e610519f7f334
+Subproject commit 5de6e2bc3706e2221c661d88e933d8ef4974ff33
diff --git a/include/version.inc b/include/version.inc
index c879b1d..c430ae8 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -20,8 +20,8 @@ $PHP_7_3_RC = '7.3.0alpha3';
$PHP_7_3_RC_DATE = "05 Jul 2018";
/* PHP 7.2 Release */
-$PHP_7_2_RC = false; // Current RC version (e.g., '7.2.1RC1') or false
-$PHP_7_2_RC_DATE = "7 Jun 2018";
+$PHP_7_2_RC = '7.2.8RC1'; // Current RC version (e.g., '7.2.1RC1') or false
+$PHP_7_2_RC_DATE = "05 Jul 2018";
$PHP_7_2_VERSION = "7.2.7";
$PHP_7_2_DATE = "21 Jun 2018";