From: Anatol Belski Date: Thu, 31 Aug 2017 18:55:12 +0000 (+0200) Subject: Merge branch 'PHP-7.0' into PHP-7.1 X-Git-Tag: php-7.1.10RC1~17 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=965570541bd47526e7238290f047d53f3c755949;p=php Merge branch 'PHP-7.0' into PHP-7.1 * PHP-7.0: Extend ignore list for DLLs to not to look after --- 965570541bd47526e7238290f047d53f3c755949