Merge pull request #18284 from mhei/21.02-php7-pecl-redis-update
authorMichael Heimpold <mhei@heimpold.de>
Mon, 11 Apr 2022 18:34:33 +0000 (20:34 +0200)
committerGitHub <noreply@github.com>
Mon, 11 Apr 2022 18:34:33 +0000 (20:34 +0200)
[21.02] php7-pecl-redis: update to 5.3.7


Trivial merge