Merge pull request #21 from Jan-E/master
authorMichael Wallner <mike@php.net>
Fri, 22 Jan 2016 13:03:23 +0000 (14:03 +0100)
committerMichael Wallner <mike@php.net>
Fri, 22 Jan 2016 13:03:23 +0000 (14:03 +0100)
commit525371f4be2ce8ee66b85fdbc5f6ebd819a2a004
treefab4f57c1d9975e0826c2baf9e3a4fb222961272
parente7191b8c658cbd77c1b84037d9f87567fb6c8712
parentd7d868e74c34f1e0e3c4564f5b351572aadb6454
Merge pull request #21 from Jan-E/master

Fix PHP7 config.w32