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, 15 insertions, 0 deletions
diff --git a/databases/pecl-redis/files/patch-redis.c b/databases/pecl-redis/files/patch-redis.c new file mode 100644 index 000000000000..5765cabf50d7 --- /dev/null +++ b/databases/pecl-redis/files/patch-redis.c @@ -0,0 +1,15 @@ +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> |