Merge pull request #21839 from mhei/php8-fix-riscv64
authorMichael Heimpold <[email protected]>
Thu, 17 Aug 2023 05:55:33 +0000 (07:55 +0200)
committerGitHub <[email protected]>
Thu, 17 Aug 2023 05:55:33 +0000 (07:55 +0200)
php8: fix linking on riscv64 platform (again)


Trivial merge