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

Correct java docs of RocksDB options #6123

Closed
wants to merge 1 commit into from

Conversation

Myasuka
Copy link
Contributor

@Myasuka Myasuka commented Dec 5, 2019

Correct javadocs of several RocksDB option classes to not mislead RocksJava users.

Correct javadocs of several RocksDB option classes to not mislead RocksJava users.
@adamretter
Copy link
Collaborator

LGTM. Thank you :-)

@Myasuka
Copy link
Contributor Author

Myasuka commented Dec 10, 2019

@adamretter Could you help merge this?

@adamretter
Copy link
Collaborator

@Myasuka I don't have merge rights.

@pdillinger could you merge this please?

Copy link
Contributor

@pdillinger pdillinger left a comment

Choose a reason for hiding this comment

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

Thanks for the contribution! (Changes to comments only.) I checked the details of a semi-random sampling and was very satisfied.

@pdillinger pdillinger self-assigned this Dec 13, 2019
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.

@pdillinger is landing this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@facebook-github-bot
Copy link
Contributor

@pdillinger merged this pull request in 4b74035.

Myasuka added a commit to Myasuka/flink that referenced this pull request Dec 13, 2019
azagrebin pushed a commit to apache/flink that referenced this pull request Dec 20, 2019
azagrebin pushed a commit to apache/flink that referenced this pull request Dec 20, 2019
azagrebin pushed a commit to apache/flink that referenced this pull request Dec 20, 2019
azagrebin pushed a commit to apache/flink that referenced this pull request Dec 20, 2019
wolfkdy pushed a commit to wolfkdy/rocksdb that referenced this pull request Dec 22, 2019
Summary:
Correct javadocs of several RocksDB option classes to not mislead RocksJava users.
Pull Request resolved: facebook#6123

Differential Revision: D18989044

Pulled By: pdillinger

fbshipit-source-id: a5ac6a415e5311084b10d973d354e6925788f01e
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.

None yet

4 participants