]> granicus.if.org Git - php/commitdiff
projects / php / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dec8b78 f3cda1a)
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Tue, 10 Oct 2017 11:00:14 +0000 (13:00 +0200)
committerAnatol Belski <ab@php.net>
Tue, 10 Oct 2017 11:00:14 +0000 (13:00 +0200)
* PHP-7.2:
  Update NEWS for 7.2.0RC5
  Update NEWS for PHP 7.2.0RC4


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.