From: Joe Watkins Date: Fri, 3 Nov 2017 17:49:52 +0000 (+0000) Subject: Merge branch 'PHP-7.1' into PHP-7.2 X-Git-Tag: php-7.2.0RC6~9 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=c3ee17065bc3952f140bceb0232fbff59dfb55f4;p=php Merge branch 'PHP-7.1' into PHP-7.2 * PHP-7.1: fix wrong check of definition_phi->constraint.range.max_ssa_var --- c3ee17065bc3952f140bceb0232fbff59dfb55f4