Merge pull request #22187 from mhei/php8-pecl-redis-update-to-6.0.0
authorMichael Heimpold <mhei@heimpold.de>
Wed, 27 Sep 2023 16:25:18 +0000 (18:25 +0200)
committerGitHub <noreply@github.com>
Wed, 27 Sep 2023 16:25:18 +0000 (18:25 +0200)
php8-pecl-redis: update to 6.0.1


Trivial merge