projects / gentoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 72028d4 47bdb48)
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)
Fixes: https://bugs.gentoo.org/698436
Closes: https://github.com/gentoo/gentoo/pull/13619
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.