Skip to content

[typo] prive -> private#2387

Merged
tomaarsen merged 1 commit intohuggingface:masterfrom
tomaarsen:chore/typo
Dec 18, 2023
Merged

[typo] prive -> private#2387
tomaarsen merged 1 commit intohuggingface:masterfrom
tomaarsen:chore/typo

Conversation

@tomaarsen
Copy link
Member

Hello!

Pull Request overview

  • Fix a typo: prive -> private

Details

This PR should speak for itself.

  • Tom Aarsen

@tomaarsen tomaarsen merged commit 559ea45 into huggingface:master Dec 18, 2023
@tomaarsen tomaarsen deleted the chore/typo branch December 18, 2023 09:45
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.

1 participant