]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.0' into PHP-7.1
authorAnatol Belski <ab@php.net>
Mon, 17 Oct 2016 19:27:32 +0000 (21:27 +0200)
committerAnatol Belski <ab@php.net>
Mon, 17 Oct 2016 19:27:32 +0000 (21:27 +0200)
* PHP-7.0:
  sync NEWS
  Merge branch 'pull-request/1817'
  Merge branch 'pull-request/1816'
  Merge branch 'pull-request/1814'
  Merge branch 'pull-request/1808'
  Merge branch 'pull-request/2097'
  news entry for pr #2158
  Merge branch 'pull-request/2158'


Trivial merge