Merge pull request #1 from Jan-E/master
authorMichael Wallner <mike@php.net>
Fri, 22 Jan 2016 13:04:29 +0000 (14:04 +0100)
committerMichael Wallner <mike@php.net>
Fri, 22 Jan 2016 13:04:29 +0000 (14:04 +0100)
commit6d5b2e49702e06cbfbeade778da5083947783da4
tree4f56ffbc519f19c2c263dc1332367b80ca1c4812
parent01babc25e0d3c2b21d5b8164bd9057d8c3fdb8e3
parent69a623b955465f6870955bef0c81af2a899e4783
Merge pull request #1 from Jan-E/master

Fix PHP7 config.w32