Commit:    bb87ccbf4750d23c40dfd089f13b5519ac690e61
Author:    Remi Collet <r...@php.net>         Thu, 1 Feb 2018 11:17:31 +0100
Parents:   cb83ab932f5bd06a222575f6a92ff9a9a77861bc
Branches:  master

Link:       
http://git.php.net/?p=web/php.git;a=commitdiff;h=bb87ccbf4750d23c40dfd089f13b5519ac690e61

Log:
missing ;

Changed paths:
  M  include/version.inc


Diff:
diff --git a/include/version.inc b/include/version.inc
index 94cf714..6e1ab8e 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -17,7 +17,7 @@
  */
 
 /* PHP 7.2 Release */
-$PHP_7_2_RC = false // Current RC version (e.g., '7.2.1RC1') or false
+$PHP_7_2_RC = false; // Current RC version (e.g., '7.2.1RC1') or false
 $PHP_7_2_RC_DATE = "18 Jan 2018";
 
 $PHP_7_2_VERSION         = "7.2.2";


--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to