Skip to content

Conversation

@guybe7
Copy link
Collaborator

@guybe7 guybe7 commented Apr 15, 2025

Inspired by #12272

@ShooterIT ShooterIT added the state:to-be-merged The PR should be merged soon, even if not yet ready, this is used so that it won't be forgotten label May 7, 2025
@ShooterIT ShooterIT merged commit 6349a7c into redis:unstable May 27, 2025
18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

state:to-be-merged The PR should be merged soon, even if not yet ready, this is used so that it won't be forgotten

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants