Skip to content
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.

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

rocksdb: Code changes to plugin rocksdb_cloud #524

Closed
wants to merge 1 commit into from

Conversation

ti-srebot
Copy link

update rocksdb to include tikv/rocksdb#181 for master

Signed-off-by: ti-srebot <ti-srebot@pingcap.com>
@ti-srebot
Copy link
Author

/merge

@ti-srebot ti-srebot added the status/can-merge Status: Can merge to base branch label Jul 27, 2020
@ti-srebot
Copy link
Author

/run-all-tests

@yiwu-arbug yiwu-arbug closed this Jul 28, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
status/can-merge Status: Can merge to base branch
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants