From 70cfd4c2cb56cb1e38608962ca518ba2b7e651db Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@php.net>
Date: Thu, 30 Aug 2018 12:35:19 +0200
Subject: [PATCH] 7.2.10 RC1

---
 include/version.inc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/version.inc b/include/version.inc
index 2a9140da0..2a2681db5 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";