Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  move NEWS entry
This commit is contained in:
Remi Collet 2019-06-18 07:51:05 +02:00
commit efa1388cd3

Diff Content Not Available