diff options
Diffstat (limited to 'databases/pecl-redis/files/patch-redis.c')
| -rw-r--r-- | databases/pecl-redis/files/patch-redis.c | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/databases/pecl-redis/files/patch-redis.c b/databases/pecl-redis/files/patch-redis.c deleted file mode 100644 index 5765cabf50d7..000000000000 --- a/databases/pecl-redis/files/patch-redis.c +++ /dev/null @@ -1,15 +0,0 @@ -Patch can be removed in next release -Upstream fix: -https://github.com/phpredis/phpredis/pull/1800 - ---- redis.c.orig 2020-07-03 06:16:52 UTC -+++ redis.c -@@ -30,7 +30,7 @@ - #include <standard/php_random.h> - #include <zend_exceptions.h> - #include <ext/standard/info.h> -- -+#include <ext/hash/php_hash.h> - - #ifdef PHP_SESSION - #include <ext/session/php_session.h> |