]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorPeter Kokot <peterkokot@gmail.com>
Mon, 6 Aug 2018 04:19:45 +0000 (06:19 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Mon, 6 Aug 2018 04:19:45 +0000 (06:19 +0200)
commit51d3896fd7d6575525f451c06f500b2612fe91e4
tree44dff27e30f6db85da1771239422630cffe9a580
parent523cf6e2e74d36f962f0b1c53badc455591053b2
parentfa07b8bbb74f5a1c540d778a616c059b2a2277bc
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  [ci skip] Update NEWS
  [ci skip] Update NEWS