Merge pull request #18391 from mhei/php8-update
authorMichael Heimpold <mhei@heimpold.de>
Thu, 28 Apr 2022 05:28:20 +0000 (07:28 +0200)
committerGitHub <noreply@github.com>
Thu, 28 Apr 2022 05:28:20 +0000 (07:28 +0200)
commit8f90493462d17b5299ea1fc7e9a7eade088192ce
tree3d56c0130e7bd8d1f86d3179a9787eba660799ab
parent512eda2c3b8f52ceb86b11592dd427bcf1fb7fcd
parentef1249f35428a9df6999e9c296dad80a80452c38
Merge pull request #18391 from mhei/php8-update

php8: update to 8.1.5