Merge pull request #2 from Jan-E/v1.0.x v1.0.x
authorMichael Wallner <mike@php.net>
Fri, 22 Jan 2016 13:04:10 +0000 (14:04 +0100)
committerMichael Wallner <mike@php.net>
Fri, 22 Jan 2016 13:04:10 +0000 (14:04 +0100)
commiteb0a819dbb80450394f59128fddb1a76252504ca
treec78d04aeee59300d10d4ba708d208c6d141a62a2
parent121f5ccf85ec2d1f4d03f76393d32e25974010c2
parent519a2d24c971ee37965b6038d924df31d431b448
Merge pull request #2 from Jan-E/v1.0.x

Fix PHP5 config.w32