configure improvements
authorMichael Wallner <mike@php.net>
Fri, 15 Jan 2016 16:00:44 +0000 (17:00 +0100)
committerMichael Wallner <mike@php.net>
Fri, 15 Jan 2016 16:00:44 +0000 (17:00 +0100)

No differences found