]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Wed, 29 May 2019 06:53:42 +0000 (08:53 +0200)
committerRemi Collet <remi@php.net>
Wed, 29 May 2019 06:53:42 +0000 (08:53 +0200)
commit582469eef22bce8d688728678e2d3bf3a19bec5c
tree193e2312ab3304d518c975656e5033bddfc78c99
parent6c73b2088a020e9a3deed3bb3b051be6bd998203
parent3051147019943832eb91eb7fce1089b0e22a8369
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  add NEWS entries for sec fix