Merge pull request #19517 from mhei/21.02-php7-update-7.4.32
authorMichael Heimpold <mhei@heimpold.de>
Tue, 4 Oct 2022 15:35:16 +0000 (17:35 +0200)
committerGitHub <noreply@github.com>
Tue, 4 Oct 2022 15:35:16 +0000 (17:35 +0200)
commitb7fdf56f9947a817c33ab897b9e996d30d1d0882
treead0ac6aaa04c5c96553aeaaef2d2fa367e4c6a61
parent47d63847e1eda46633eb3d369e221e8845a82f7c
parent64f2ed8fbf523f6561f86f93cda7b099d6c40710
Merge pull request #19517 from mhei/21.02-php7-update-7.4.32

[21.02] php7: update to 7.4.32