Merge pull request #19914 from mhei/21.02-php8-update-8.0.25
authorMichael Heimpold <mhei@heimpold.de>
Thu, 17 Nov 2022 07:07:47 +0000 (08:07 +0100)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2022 07:07:47 +0000 (08:07 +0100)
commite83faecb259ef228ed6d3b836b777763e81bb0ef
tree3909a028681e182966113fdae291e9d14db28c86
parent4c457b2e66d54c30d032ae7669f7a92bc818f391
parent223d4612757519c6ad66369eb45af83db5d2a08a
Merge pull request #19914 from mhei/21.02-php8-update-8.0.25

[21.02] php8: update to 8.0.25