Merge branch 'PHP-7.1'

* PHP-7.1:
  [ci skip] sync NEWS
This commit is contained in:
Anatol Belski 2017-07-04 12:15:19 +02:00
commit 816669af0c

Diff Content Not Available