com web/php: 7.2.10 RC1: include/version.inc
| From: | Remi Collet | Date: | Thu, 30 Aug 2018 10:35:19 +0000 |
| Subject: | com web/php: 7.2.10 RC1: include/version.inc | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27241@lists.php.net to get a copy of this message | ||
Commit: 70cfd4c2cb56cb1e38608962ca518ba2b7e651db
Author: Remi Collet <remi@php.net> Thu, 30 Aug 2018 12:35:19 +0200
Parents: e33abc2cc7325743105f846b70284fab54b06f32
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=70cfd4c2cb56cb1e38608962ca518ba2b7e651db
Log:
7.2.10 RC1
Changed paths:
M include/version.inc
Diff:
diff --git a/include/version.inc b/include/version.inc
index 2a9140d..2a2681d 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -20,8 +20,8 @@ $PHP_7_3_RC = '7.3.0beta2';
$PHP_7_3_RC_DATE = "16 Aug 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 = "02 Aug 2018";
+$PHP_7_2_RC = '7.2.10RC1'; // Current RC version (e.g., '7.2.1RC1') or false
+$PHP_7_2_RC_DATE = "30 Aug 2018";
$PHP_7_2_VERSION = "7.2.9";
$PHP_7_2_DATE = "16 Aug 2018";