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-18 03:16:39 +0300
committermichael-grunder <michael.grunder@gmail.com>2018-11-18 03:16:39 +0300
commitb8118b0991f37e237f645e93cafaecdb6e8cf44f (patch)
tree7074e12e11d8fa6b0727ae9d29fadb9b3eea79c2 /php_redis.h
parent64a213e94f2c175620623611d890a167ae16897a (diff)
4.2.04.2.0
Diffstat (limited to 'php_redis.h')
-rw-r--r--php_redis.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/php_redis.h b/php_redis.h
index 526e0fbb..655f9730 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.0RC3"
+#define PHP_REDIS_VERSION "4.2.0"
PHP_METHOD(Redis, __construct);
PHP_METHOD(Redis, __destruct);