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

Use unique_ptr in writebatch hint #5808

Closed
wants to merge 2 commits into from
Closed

Use unique_ptr in writebatch hint #5808

wants to merge 2 commits into from

Conversation

Jing118
Copy link
Contributor

@Jing118 Jing118 commented Sep 16, 2019

Improve #5728, use unique_ptr in writebatch hint to make ownership more clear.

@siying
Copy link
Contributor

siying commented Sep 16, 2019

Thank you for working on it. Can you fix the build?

@ltamasi ltamasi requested a review from siying September 17, 2019 18:56
Copy link
Contributor

@facebook-github-bot facebook-github-bot left a comment

Choose a reason for hiding this comment

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

@siying has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@siying
Copy link
Contributor

siying commented Dec 23, 2020

Err.... I forgot to merge it...

@riversand963
Copy link
Contributor

@siying shall we merge this?

@Jing118 Jing118 closed this by deleting the head repository Dec 14, 2022
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.

4 participants