Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  [ci skip] Update NEWS
This commit is contained in:
Anatol Belski 2018-05-06 16:15:13 +02:00
commit 538ff93876

Diff Content Not Available