Skip to content

Conversation

@ilianiliev-redis
Copy link
Contributor

No description provided.

@ilianiliev-redis
Copy link
Contributor Author

Please note that this PR references a future release of RDI and should not be merged before the official release of 1.14

Copy link
Contributor

@andy-stark-redis andy-stark-redis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One small issue, but I'll approve to avoid delays

@dwdougherty dwdougherty merged commit 05202b6 into redis:main Aug 18, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants