New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

submodules: Merge from redis-rs #1808

Merged

barshaul merged 1 commit into valkey-io:main from barshaul:pull_from_upstream

Jul 4, 2024

Collaborator

barshaul commented Jul 4, 2024

Issue #, if available:

Description of changes:

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.


          redis-rs: Merge from upstream

7d1e920

barshaul requested a review from a team as a code owner

July 4, 2024 13:46

avifenesh approved these changes

View reviewed changes

Collaborator

avifenesh left a comment

Already approved it in redis-rs, so, yea

barshaul merged commit 1f8d1c6 into valkey-io:main

77 of 79 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet