Merge pull request #124 from m6w6/issue-warn
authorMichael Wallner <mike@php.net>
Fri, 25 Feb 2022 19:03:37 +0000 (20:03 +0100)
committerGitHub <noreply@github.com>
Fri, 25 Feb 2022 19:03:37 +0000 (20:03 +0100)
Fix some build warnings


Trivial merge