From 0d5bcfa2a9242af41718a9f14465fdc3dec7b815 Mon Sep 17 00:00:00 2001 From: Jochen Neumeister Date: Sat, 11 Jul 2020 10:43:36 +0000 Subject: Update to 5.3.1 remove unnecessary patches PR: 247906 Submitted by: Matt (maintainer) Sponsored by: Netzkommune GmbH --- databases/pecl-redis/files/patch-redis.c | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 databases/pecl-redis/files/patch-redis.c (limited to 'databases/pecl-redis/files/patch-redis.c') 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 - #include - #include -- -+#include - - #ifdef PHP_SESSION - #include -- cgit v1.2.3