]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.4'
authorJoe Watkins <krakjoe@php.net>
Tue, 4 Jun 2019 06:23:50 +0000 (08:23 +0200)
committerJoe Watkins <krakjoe@php.net>
Tue, 4 Jun 2019 06:23:50 +0000 (08:23 +0200)
commit56e3d8deae7604e4b0a1d2627dba935bc0ebf276
treece316c6bd46111b1ff4339c736910f6acec8acb1
parent0cd314ebc1c408e0ae2f1ede4928989be89759fd
parent550f95e645d1a9f7050e954a862bcf7f89654ae6
Merge branch 'PHP-7.4'

* PHP-7.4:
  should be or