Merge pull request #134 from m6w6/issue-pointers
authorMichael Wallner <mike@php.net>
Mon, 5 Feb 2024 19:09:57 +0000 (20:09 +0100)
committerGitHub <noreply@github.com>
Mon, 5 Feb 2024 19:09:57 +0000 (20:09 +0100)
Fix incompatible pointer types (32-bit)


Trivial merge