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>2016-12-15 00:06:31 +0300
committerPavlo Yatsukhnenko <yatsukhnenko@gmail.com>2016-12-15 00:06:31 +0300
commit92a3a52942d770697d0891cc14e24d534a4ab9f4 (patch)
treeeb7bff895e06f590f45dadc31cdf0fa3183194fa /php_redis.h
parentf192389368bfc4e169285186c8704db494c9d190 (diff)
release 3.1.03.1.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 01e71ed0..c0a00152 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.0-rc1"
+#define PHP_REDIS_VERSION "3.1.0"
PHP_METHOD(Redis, __construct);
PHP_METHOD(Redis, __destruct);