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-07-06 19:17:58 +0300
committermichael-grunder <michael.grunder@gmail.com>2020-07-06 19:17:58 +0300
commit5d30e975ba334605e947a78d002168a38dc9c3f4 (patch)
tree91e74a73800d95adfb68fc5ad28bc69ab06536b5 /php_redis.h
parentff2e160f408efdc97676cffaa02093e65c2ad634 (diff)
Prepare for 5.3.1
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 50483af5..76983fe0 100644
--- a/php_redis.h
+++ b/php_redis.h
@@ -23,7 +23,7 @@
#define PHP_REDIS_H
/* phpredis version */
-#define PHP_REDIS_VERSION "5.3.0"
+#define PHP_REDIS_VERSION "5.3.1"
PHP_METHOD(Redis, __construct);
PHP_METHOD(Redis, __destruct);