]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorPeter Kokot <peterkokot@gmail.com>
Thu, 7 Mar 2019 00:05:22 +0000 (01:05 +0100)
committerPeter Kokot <peterkokot@gmail.com>
Thu, 7 Mar 2019 00:05:22 +0000 (01:05 +0100)
commit59e76ec01d2f536434d0e9cc7ce7ec37917daad5
tree070ac5ec040632c3b5e5dea0356f680e3456ad7b
parent0d8838891288fdc582f510336a90a8dc85a19810
parent488544b3362ede214dec32439c54aaded4bf57d7
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Update editorconfig