]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Tue, 23 Oct 2018 10:16:31 +0000 (12:16 +0200)
committerRemi Collet <remi@php.net>
Tue, 23 Oct 2018 10:16:31 +0000 (12:16 +0200)
commit0d273cf95d2e29cec3f430cce972f96e32c83b68
treee0f41ce96b10dadbb909653adb7ef7cfa07c885b
parent4ffa4155005ef234783143e6ad75f6c72a42cd33
parent1d5baf167a79f8b6842e46b238eb7fb99dcb3e6b
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  bump to 7.2.13-dev
  Updated to version 2018.6 (2018f)
  Updated to version 2018.6 (2018f)