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>2020-03-02 22:00:53 +0300
committermichael-grunder <michael.grunder@gmail.com>2020-03-02 22:00:53 +0300
commitbf27e6e3db9648bcbc260273a99554ddb96d7420 (patch)
treee01b3bb6cd72b18307ee6f42a5aee47992f35374 /php_redis.h
parent17ddbe76a2918f3d47176e74b14ab28a68a51b54 (diff)
Merge 5.2.0 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 c86ac2b4..af77ea00 100644
--- a/php_redis.h
+++ b/php_redis.h
@@ -23,7 +23,7 @@
#define PHP_REDIS_H
/* phpredis version */
-#define PHP_REDIS_VERSION "5.2.0-dev"
+#define PHP_REDIS_VERSION "5.2.0"
PHP_METHOD(Redis, __construct);
PHP_METHOD(Redis, __destruct);