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


Trivial merge