]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Tue, 5 Mar 2019 06:32:54 +0000 (07:32 +0100)
committerRemi Collet <remi@php.net>
Tue, 5 Mar 2019 06:32:54 +0000 (07:32 +0100)
commit72bfb2523a80584caa9bf3243e43bffc5d0d7d45
tree3850b116fe9c2140077edaeb116673d98d923f7e
parent007ac353dd0fdc0930b7683008f3c6bd068aadf1
parent0e836f523a9ee93ff6ca033fe962eb2d861acd64
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  add NEWS entry