Merge pull request #21265 from mhei/php8-fix-linking-on-riscv64
authorMichael Heimpold <mhei@heimpold.de>
Wed, 7 Jun 2023 19:17:49 +0000 (21:17 +0200)
committerGitHub <noreply@github.com>
Wed, 7 Jun 2023 19:17:49 +0000 (21:17 +0200)
php8: fix linking on riscv64 platform


Trivial merge