]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.1'
authorMatteo Beccati <mbeccati@php.net>
Sun, 27 Nov 2016 09:21:05 +0000 (10:21 +0100)
committerMatteo Beccati <mbeccati@php.net>
Sun, 27 Nov 2016 09:21:05 +0000 (10:21 +0100)
* PHP-7.1:
  Fix occasionaly failing test


Trivial merge