]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Tue, 12 May 2020 07:19:11 +0000 (09:19 +0200)
committerRemi Collet <remi@php.net>
Tue, 12 May 2020 07:19:11 +0000 (09:19 +0200)
commit8f8f32cfafa10a0c63965fc15c9fd793872a46bc
tree1911fe8ea2be5aac7294e6c03c1257dd3669ffa8
parentf43041250f82ed69bd4575655984fbfc842da266
parent4cf8be71dffff1f63dae60b3af579eb49fe75cb0
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  bump version to 7.2.32-dev
  Update NEWS