]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.4'
authorDmitry Stogov <dmitry@zend.com>
Mon, 2 Sep 2019 16:03:45 +0000 (19:03 +0300)
committerDmitry Stogov <dmitry@zend.com>
Mon, 2 Sep 2019 16:03:45 +0000 (19:03 +0300)
* PHP-7.4:
  Update PHP_API_VERSION


Trivial merge