Merge branch 'PHP-7.1'

* PHP-7.1:
  add missing entry
  add missing NEWS entry
  add missing NEWS entry
This commit is contained in:
Anatol Belski 2016-11-09 21:38:29 +01:00
commit 00c80fbb69

Diff content is not available