OSS Redis 7.2 is now GA

Release is focused on incremental performance and memory improvements to various datastructures, a couple of new commands, and minor features to improve manageability.