Merge pull request #2 from Jan-E/master
authorMichael Wallner <mike@php.net>
Fri, 22 Jan 2016 13:04:02 +0000 (14:04 +0100)
committerMichael Wallner <mike@php.net>
Fri, 22 Jan 2016 13:04:02 +0000 (14:04 +0100)
commit8ea73a559e5d63e768294d7cd1c4655923fd3e5a
tree49cb9a3fc587090cb232afff241a479e29752fdd
parent03f4695cba9086b8a21819da733f09bc44ddac0a
parent49703f0c5cd041e8de7fbccefc4581605ddbba64
Merge pull request #2 from Jan-E/master

Fix PHP7 config.w32