Commit:    0334decbdc509364ca373fb22c7964a27fc292f1
Author:    Christoph M. Becker <[email protected]>         Thu, 14 May 2020 
12:11:18 +0200
Parents:   72682fc0aadc3ed4772e51ecb83a0837cf5c27a9
Branches:  master

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

Log:
Fix version

7.3.19 is not yet released!

Changed paths:
  M  include/version.inc


Diff:
diff --git a/include/version.inc b/include/version.inc
index c0bf5f913..32641b0cb 100644
--- a/include/version.inc
+++ b/include/version.inc
@@ -27,7 +27,7 @@ $RELEASES = (function() {
     );
 
     /* PHP 7.3 Release */
-    $PHP_7_3_VERSION         = "7.3.19";
+    $PHP_7_3_VERSION         = "7.3.18";
     $PHP_7_3_DATE            = "14 May 2020";
     $PHP_7_3_TAGS            = ['security']; // Set to ['security'] for 
security releases.
     $PHP_7_3_SHA256     = array(


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

Reply via email to