pete commented on pull request redis/redis#13157

https://github.com/redis/redis/pull/13157#issuecomment-2065470446
code, github.com | 2024-04-18 23:16:13 +0000 UTC | No.796
@pete pete commented on redis/redis#13157 · April 18, 2024 23:16
@pete pete commented Apr 18, 2024

I'll encourage anyone with doubts to browse our code, or our documentation in particular, and let you be the judge. Aside: here's the diffstat com…