]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.4'
authorJoe Watkins <krakjoe@php.net>
Sat, 15 Jun 2019 08:07:15 +0000 (10:07 +0200)
committerJoe Watkins <krakjoe@php.net>
Sat, 15 Jun 2019 08:07:15 +0000 (10:07 +0200)
* PHP-7.4:
  PHP-7.4 branch should not run JIT tests, ever [ci skip]


Trivial merge