diff options
author | Pavlo Yatsukhnenko <yatsukhnenko@gmail.com> | 2017-05-24 00:08:10 +0300 |
---|---|---|
committer | Pavlo Yatsukhnenko <yatsukhnenko@gmail.com> | 2017-05-24 00:08:10 +0300 |
commit | 7509636efb5460a528b1896f75e5f3f158d7d518 (patch) | |
tree | c130253d5210ddf5cfabcb918e909ae696a1e0d3 /php_redis.h | |
parent | 79a95c24da4c518855d28727bf3a9db9a6f58447 (diff) | |
parent | 0fef41ac963b1fccee35e9ddf9e43978543c4475 (diff) |
Merge branch 'issue.1176' into develop
Diffstat (limited to 'php_redis.h')
-rw-r--r-- | php_redis.h | 2 |
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); |