Skip to content

Conversation

@haofanwang
Copy link
Contributor

Fix several typos. Ready to merge.

@HuggingFaceDocBuilderDev
Copy link

HuggingFaceDocBuilderDev commented Jan 10, 2023

The documentation is not available anymore as the PR was closed or merged.

@patrickvonplaten
Copy link
Contributor

Thank you!

@patrickvonplaten patrickvonplaten merged commit 40aa162 into huggingface:main Jan 12, 2023
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.

3 participants