]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.1'
authorRemi Collet <remi@php.net>
Tue, 4 Jul 2017 18:27:10 +0000 (20:27 +0200)
committerRemi Collet <remi@php.net>
Tue, 4 Jul 2017 18:27:10 +0000 (20:27 +0200)
* PHP-7.1:
  Adapt for 32-bits which fails at different offset (49 vs 38)


Trivial merge