Merge pull request #17169 from mhei/21.02-php8-update
authorMichael Heimpold <mhei@heimpold.de>
Sun, 21 Nov 2021 10:39:00 +0000 (11:39 +0100)
committerGitHub <noreply@github.com>
Sun, 21 Nov 2021 10:39:00 +0000 (11:39 +0100)
commit82e8726fc3a2db9d14b86ab58cdc6b33c3c480ed
tree3d66450756aa0e1e62cd5b803a6b3c789b5f3194
parent495c76cd51f1355736cbd4123f7fba9d7d4e8b3a
parent41b3505f732d0345194452a733eee7a57f19d477
Merge pull request #17169 from mhei/21.02-php8-update

[21.02] php8: update to 8.0.13