Merge pull request #16037 from mhei/php8-update
authorMichael Heimpold <mhei@heimpold.de>
Mon, 5 Jul 2021 18:58:30 +0000 (20:58 +0200)
committerGitHub <noreply@github.com>
Mon, 5 Jul 2021 18:58:30 +0000 (20:58 +0200)
commit7984c71bddf98496a710c59d4fd9236f654c297e
treea336041999e29a7c9c8a328d013c4d3297eae3d8
parent6dee6ce5a619a0b85f06ae7da8f25b93fb8f7771
parent7ddd5280d48609cad139e80774a57cc6c51921ee
Merge pull request #16037 from mhei/php8-update

php8: update to 8.0.8