Merge pull request #21815 from mhei/21.02-php8-update-to-8.0.30
authorMichael Heimpold <mhei@heimpold.de>
Tue, 15 Aug 2023 05:40:22 +0000 (07:40 +0200)
committerGitHub <noreply@github.com>
Tue, 15 Aug 2023 05:40:22 +0000 (07:40 +0200)
commitb3a6bb839059546a52df00af3e1aa97dba75de22
tree18684a23ef961255ef354d7527a28d0ae152ac39
parent90e30040c84743c2111e25d2808aeb980c881512
parente76e8296ec8516cc8b4878a2179827b4086e1295
Merge pull request #21815 from mhei/21.02-php8-update-to-8.0.30

[21.02] php8: update to 8.0.30