fix pointer size calculation
authorMichael Wallner <mike@php.net>
Mon, 29 Oct 2018 07:54:21 +0000 (08:54 +0100)
committerMichael Wallner <mike@php.net>
Mon, 29 Oct 2018 07:54:21 +0000 (08:54 +0100)

No differences found