fix ptrdiff_t and _GNU_SOURCE detection
authorMichael Wallner <mike@php.net>
Wed, 23 Nov 2016 14:45:53 +0000 (14:45 +0000)
committerMichael Wallner <mike@php.net>
Wed, 23 Nov 2016 14:45:53 +0000 (14:45 +0000)

No differences found