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>2017-03-16 18:57:57 +0300
committermichael-grunder <michael.grunder@gmail.com>2017-03-16 18:57:57 +0300
commit029475318cdfe67d646cd92c120d8732d335ab3f (patch)
tree1d918f3a914b66631cc8cb3ff12e74f6c91b2747 /php_redis.h
parent564ce3a1e5362209a6bf0e35ac0999a561d36a9e (diff)
Bamp 3.1.2
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 bfc7a5ff..45c279d9 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);