Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpredis/phpredis.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPavlo Yatsukhnenko <yatsukhnenko@users.noreply.github.com>2020-11-25 16:50:32 +0300
committerGitHub <noreply@github.com>2020-11-25 16:50:32 +0300
commita09b65b15d5e3c946aacedbaa61ef0c0b2d06105 (patch)
tree0c7b5ddd95886b48ed57d5db8a626aa787a1f626 /package.xml
parent32564e5b463441880c3d53a2d5c8d5eeec7128cf (diff)
parent5b3771a0b2dd8bafe884558a5f249850acfbb6dd (diff)
Merge pull request #1851 from Jan-E/php8_vs2019
Diffstat (limited to 'package.xml')
0 files changed, 0 insertions, 0 deletions