projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7a08590) | patch
dev-db/redis: remove unused patches
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Wed, 22 Nov 2017 17:19:38 +0000 (18:19 +0100)
committerRobin H. Johnson <robbat2@gentoo.org>
Thu, 23 Nov 2017 22:21:13 +0000 (14:21 -0800)
commit1549caced8940fffc49201959ade20270dc89d87
tree50c63c0063fd30fdec6a57c6883815831a8523a1tree | snapshot
parent7a08590786186e4993b6a6c316fd7a5cb368e2efcommit | diff
dev-db/redis: remove unused patches

Fixes: https://github.com/gentoo/gentoo/pull/6261
(cherry picked from commit 870779cd6f1a6bc312c2d3772e9d067b8c057d18)
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
dev-db/redis/files/redis-3.2.0-config.patch [deleted file] blob | history
dev-db/redis/files/redis-3.2.0-sharedlua.patch [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.