]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.2'
authorChristoph M. Becker <cmbecker69@gmx.de>
Mon, 16 Oct 2017 09:13:05 +0000 (11:13 +0200)
committerChristoph M. Becker <cmbecker69@gmx.de>
Mon, 16 Oct 2017 09:13:05 +0000 (11:13 +0200)
* PHP-7.2:
  [ci skip] Fixed bug #75383 (The date is "Sep", it should say "Oct")


Trivial merge