Merge pull request #20075 from mhei/php8-update-8.2.0
authorMichael Heimpold <mhei@heimpold.de>
Sun, 18 Dec 2022 08:13:02 +0000 (09:13 +0100)
committerGitHub <noreply@github.com>
Sun, 18 Dec 2022 08:13:02 +0000 (09:13 +0100)
commitb1bb8db946cf1813ee3033d6eed75a5d03d44b85
tree52530e052d77011c369a7489481e42503f23fb2b
parent44e1c2115ea91b97e9454c19428a59f155e9f677
parentd1b08dbfe82437aca97e20f9f7f3d30717701cf5
Merge pull request #20075 from mhei/php8-update-8.2.0

php8: update to 8.2.0