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:
authormichael-grunder <michael.grunder@gmail.com>2018-11-08 23:50:26 +0300
committermichael-grunder <michael.grunder@gmail.com>2018-11-08 23:50:26 +0300
commit5e720d8d10eac74128c6a3c88dc6aa85d130125f (patch)
tree645087cf23c3fc68f6f9880fc66edcabecf422a5
parent517de7d12208831351aa35853ee7343f9de6c322 (diff)
4.2.0RC34.2.0RC3
-rw-r--r--php_redis.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/php_redis.h b/php_redis.h
index ed880d0d..526e0fbb 100644
--- a/php_redis.h
+++ b/php_redis.h
@@ -25,7 +25,7 @@
#define PHP_REDIS_H
/* phpredis version */
-#define PHP_REDIS_VERSION "4.2.0RC2"
+#define PHP_REDIS_VERSION "4.2.0RC3"
PHP_METHOD(Redis, __construct);
PHP_METHOD(Redis, __destruct);