From: Anatol Belski <ab@php.net>
Date: Tue, 4 Dec 2018 11:50:04 +0000 (+0100)
Subject: Merge branch 'PHP-7.1' into PHP-7.2
X-Git-Tag: php-7.2.14RC1~25
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6e9435f339b9dd5aa36c219623ce62f613b2b6ec;p=php

Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Sync NEWS [ci skip]
---

6e9435f339b9dd5aa36c219623ce62f613b2b6ec