Merge pull request #21363 from mhei/revert-php8-riscv64-workaround
authorMichael Heimpold <mhei@heimpold.de>
Wed, 14 Jun 2023 06:34:38 +0000 (08:34 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Jun 2023 06:34:38 +0000 (08:34 +0200)
php8: revert workaround to fix linking on riscv64 platform


Trivial merge