]> granicus.if.org Git - php/commitdiff
[ci skip] Merge branch 'PHP-7.2'
authorChristoph M. Becker <cmbecker69@gmx.de>
Tue, 3 Oct 2017 22:31:47 +0000 (00:31 +0200)
committerChristoph M. Becker <cmbecker69@gmx.de>
Tue, 3 Oct 2017 22:33:37 +0000 (00:33 +0200)
* PHP-7.2:
  Change EXTENSIONS file encoding from iso-8859-1 to utf-8


Trivial merge