First PR I saw on redis GH: https://github.com/antirez/redis/pull/4714 https://github.com/antirez/redis/pull/4714 That same user also made https://github.com/a

First PR I saw on redis GH: https://github.com/antirez/redis/pull/4714 https://github.com/antirez/redis/pull/4714 That same user also made https://github.com/antirez/redis/pull/4685 https://github.com/antirez/redis/pull/4685 This may be? https://github.com/antirez/redis/pull/4622 https://github.com/antirez/redis/pull/4622 This was apparently critical, but also kind of an edgecase: https://github.com/antirez/redis/pull/4568 https://github.com/antirez/redis/pull/4568 & one more from someone else: https://github.com/antirez/redis/pull/4568 https://github.com/antirez/redis/pull/4568