]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorPeter Kokot <peterkokot@gmail.com>
Mon, 15 Oct 2018 02:31:53 +0000 (04:31 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Mon, 15 Oct 2018 02:31:53 +0000 (04:31 +0200)
commit3599a2d82beff1ff3387a04c73fcdac9dd5336d4
tree220bdc1e814e9f44b3578d49b3f239a3fdefa1d0
parent782352c54ad69c517e3c32b0dd2c25d74842647a
parentf1d7e3ca0b70f910fcecef0278de9c15440ca3c0
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Sync leading and final newlines in *.phpt sections
  Sync leading and final newlines in *.phpt sections