]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.2'
authorRemi Collet <remi@php.net>
Wed, 14 Feb 2018 07:59:59 +0000 (08:59 +0100)
committerRemi Collet <remi@php.net>
Wed, 14 Feb 2018 07:59:59 +0000 (08:59 +0100)
* PHP-7.2:
  Fix timezone var_dump from 51f2a5803fa4f09e212fed4b14ab8b4a003d4ef5


Trivial merge