Merge pull request #18143 from mhei/php8-pecl-redis-update
authorMichael Heimpold <mhei@heimpold.de>
Sun, 3 Apr 2022 18:58:37 +0000 (20:58 +0200)
committerGitHub <noreply@github.com>
Sun, 3 Apr 2022 18:58:37 +0000 (20:58 +0200)
php8-pecl-redis: update to 5.3.7


Trivial merge