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@gmail.com>2017-05-24 00:08:10 +0300
committerPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2017-05-24 00:08:10 +0300
commit7509636efb5460a528b1896f75e5f3f158d7d518 (patch)
treec130253d5210ddf5cfabcb918e909ae696a1e0d3 /php_redis.h
parent79a95c24da4c518855d28727bf3a9db9a6f58447 (diff)
parent0fef41ac963b1fccee35e9ddf9e43978543c4475 (diff)
Merge branch 'issue.1176' into develop
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 c635b927..f20c7397 100644
--- a/php_redis.h
+++ b/php_redis.h
@@ -25,7 +25,7 @@
#define PHP_REDIS_H
/* phpredis version */
-#define PHP_REDIS_VERSION "3.1.1RC2"
+#define PHP_REDIS_VERSION "3.1.2"
PHP_METHOD(Redis, __construct);
PHP_METHOD(Redis, __destruct);