Merge branch 'PHP-7.2' into PHP-7.3
authorSara Golemon <pollita@php.net>
Tue, 5 Nov 2019 15:58:35 +0000 (10:58 -0500)
committerSara Golemon <pollita@php.net>
Tue, 5 Nov 2019 15:58:35 +0000 (10:58 -0500)
commite85cae8ef464a1421f581906a15301bae0cf383f
treedc71e4ead4f16f0f9d31c03e5111b3cef48fba01
parent747cb4624493cea67eb801c342e063b3ef505295
parentd317e16e89683ec456c779f64f6498a7334740de
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Bump for 7.2.26-dev