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:
-rw-r--r--package.xml2
-rw-r--r--php_redis.h2
2 files changed, 2 insertions, 2 deletions
diff --git a/package.xml b/package.xml
index fdc51faa..d2a790de 100644
--- a/package.xml
+++ b/package.xml
@@ -27,7 +27,7 @@ http://pear.php.net/dtd/package-2.0.xsd">
<email>n.favrefelix@gmail.com</email>
<active>yes</active>
</lead>
- <date>2018-11-17</date>
+ <date>2018-11-18</date>
<version>
<release>4.2.0</release>
<api>4.2.0</api>
diff --git a/php_redis.h b/php_redis.h
index 526e0fbb..655f9730 100644
--- a/php_redis.h
+++ b/php_redis.h
@@ -25,7 +25,7 @@
#define PHP_REDIS_H
/* phpredis version */
-#define PHP_REDIS_VERSION "4.2.0RC3"
+#define PHP_REDIS_VERSION "4.2.0"
PHP_METHOD(Redis, __construct);
PHP_METHOD(Redis, __destruct);