Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Trim trailing whitespace in *.phpt
This commit is contained in:
Peter Kokot 2018-10-14 19:43:39 +02:00
commit cc7215f48f

Diff Content Not Available