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


Trivial merge