Merge pull request #19518 from mhei/21.02-php8-update-8.0.24
authorMichael Heimpold <mhei@heimpold.de>
Tue, 4 Oct 2022 15:35:32 +0000 (17:35 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Oct 2022 15:35:32 +0000 (17:35 +0200)
commit0b9b8e5ae63eee432d121f75a44e9928f7cb3d95
treeb1fa9051f0cad06fbba2387c6b61840030d7845e
parentb7fdf56f9947a817c33ab897b9e996d30d1d0882
parent0498d79d74f5af53d3f88024d20a006c43e896b2
Merge pull request #19518 from mhei/21.02-php8-update-8.0.24

[21.02] php8: update to 8.0.24