Skip to content

Conversation

@enjoy-binbin
Copy link
Contributor

The new shrink was added in #12850.
Also updated outdated comments, see #11692.

The new shrink was added in redis#12850.
Also updated outdated comments, see redis#11692.
@enjoy-binbin enjoy-binbin requested a review from oranagra January 15, 2024 07:35
@oranagra oranagra merged commit ecc31bc into redis:unstable Jan 15, 2024
@enjoy-binbin enjoy-binbin deleted the update_comment branch January 15, 2024 08:29
roggervalf pushed a commit to roggervalf/redis that referenced this pull request Feb 11, 2024
The new shrink was added in redis#12850.
Also updated outdated comments, see redis#11692.
funny-dog pushed a commit to funny-dog/redis that referenced this pull request Sep 17, 2025
The new shrink was added in redis#12850.
Also updated outdated comments, see redis#11692.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants