dev-db/redis: Merge remote-tracking branch 'github/pr/13619'
authorRobin H. Johnson <robbat2@gentoo.org>
Tue, 24 Dec 2019 22:30:21 +0000 (14:30 -0800)
committerRobin H. Johnson <robbat2@gentoo.org>
Thu, 26 Dec 2019 21:46:43 +0000 (13:46 -0800)
commita056fc0a259dd50bb853c469107b2914e880bdbc
tree1402d1e230a58c52967a47ca969564c84d0752dd
parent72028d4ff004c9d8fc258b2d50270fbfc2a78955
parent47bdb48493752c1c988ddd7b21195c6bfef3428a
dev-db/redis: Merge remote-tracking branch 'github/pr/13619'

Fixes: https://bugs.gentoo.org/698436
Closes: https://github.com/gentoo/gentoo/pull/13619
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>