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:
authorvostok4 <vostok4@gmail.com>2014-04-09 13:14:45 +0400
committervostok4 <vostok4@gmail.com>2014-04-09 13:14:45 +0400
commit9c12c40a66cbd76f5efa053b1718fa936320400b (patch)
tree1dc06d47d219fde0b27b5066dd823afd6f349cf5 /CREDITS
parent978fbcf6fc355fcd344feb76ab4b7d6b77e9f7c1 (diff)
Merge nicolasff:b9a16b5ad5 in, fixing for Win32
Now we should be up to master with upstream for an easier merge.
Diffstat (limited to 'CREDITS')
-rw-r--r--CREDITS1
1 files changed, 1 insertions, 0 deletions
diff --git a/CREDITS b/CREDITS
index c501060a..53010079 100644
--- a/CREDITS
+++ b/CREDITS
@@ -2,3 +2,4 @@ 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) \ No newline at end of file