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-08-31 00:50:14 +0300
committermichael-grunder <michael.grunder@gmail.com>2017-08-31 00:50:14 +0300
commit3832939df1167255abe7f7c5a82fc2c9636d53ae (patch)
tree972d316b4aa219345b70f635fb6148c46133e787 /php_redis.h
parent81a03035cadbc1e9189a0b17b22c02a32eb18b15 (diff)
Prepare for 3.1.4RC1 release
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 895ad710..0daf1594 100644
--- a/php_redis.h
+++ b/php_redis.h
@@ -25,7 +25,7 @@
#define PHP_REDIS_H
/* phpredis version */
-#define PHP_REDIS_VERSION "develop"
+#define PHP_REDIS_VERSION "3.1.4RC1"
PHP_METHOD(Redis, __construct);
PHP_METHOD(Redis, __destruct);