Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  [ci skip] update NEWS
  [ci skip] update NEWS
This commit is contained in:
Anatol Belski 2017-07-26 17:31:10 +02:00
commit 2d8fe973b1

Diff Content Not Available