From: Michael Wallner <mike@php.net>
Date: Fri, 22 Jan 2016 13:04:29 +0000 (+0100)
Subject: Merge pull request #1 from Jan-E/master
X-Git-Tag: release-2.0.1~2
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=6d5b2e49702e06cbfbeade778da5083947783da4;p=m6w6%2Fext-propro

Merge pull request #1 from Jan-E/master

Fix PHP7 config.w32
---

6d5b2e49702e06cbfbeade778da5083947783da4