From: Anatol Belski <ab@php.net>
Date: Sat, 19 Aug 2017 00:01:23 +0000 (+0200)
Subject: Merge branch 'PHP-7.1' into PHP-7.2
X-Git-Tag: php-7.2.0RC1~36
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=00b97d34c1d332fdbf6883d988e57e23bdc6f806;p=php

Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Fix issues with phpt and EXTENSION on windows (BUG 75042)
---

00b97d34c1d332fdbf6883d988e57e23bdc6f806