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:
authorAnatol Belski <ab@php.net>2014-07-01 14:37:11 +0400
committerAnatol Belski <ab@php.net>2014-07-01 14:37:11 +0400
commit3880c9eb9e20327823f49ad5c7004f573d03a7e6 (patch)
tree02f786893c741c98ce1e23f62a561dd697172c55 /CREDITS
parent6c377eee18a5a36df71da2498eddbc0cd4f1ba76 (diff)
fix CREDITS for resource compilation to work
see also CREDITS in other exts for the correct format
Diffstat (limited to 'CREDITS')
-rw-r--r--CREDITS5
1 files changed, 1 insertions, 4 deletions
diff --git a/CREDITS b/CREDITS
index 6c8626a8..f6d6cf88 100644
--- a/CREDITS
+++ b/CREDITS
@@ -1,5 +1,2 @@
Redis client extension for PHP
-Alfonso Jimenez <yo@alfonsojimenez.com>
-Nasreddine Bouafif <n.bouafif@owlient.eu>
-Nicolas Favre-Felix <n.favre-felix@owlient.eu>
-Michael Grunder <michael.grunder@gmail.com>
+Alfonso Jimenez, Nasreddine Bouafif, Nicolas Favre-Felix, Michael Grunder