]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.2'
authorRemi Collet <remi@php.net>
Wed, 14 Feb 2018 12:16:55 +0000 (13:16 +0100)
committerRemi Collet <remi@php.net>
Wed, 14 Feb 2018 12:16:55 +0000 (13:16 +0100)
* PHP-7.2:
  factorization of duplicated code

1  2 
ext/date/php_date.c

Simple merge