Skip to content

Improve warning#598

Merged
muellerzr merged 1 commit intomainfrom
phrasing
Aug 2, 2022
Merged

Improve warning#598
muellerzr merged 1 commit intomainfrom
phrasing

Conversation

@muellerzr
Copy link
Contributor

Noticed that these didn't quite get fixed properly before the merge happened

@muellerzr muellerzr requested a review from sgugger August 2, 2022 17:30
Copy link
Collaborator

@sgugger sgugger 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 fixing!

@HuggingFaceDocBuilderDev
Copy link

HuggingFaceDocBuilderDev commented Aug 2, 2022

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

@muellerzr muellerzr merged commit 15a8c6c into main Aug 2, 2022
@muellerzr muellerzr deleted the phrasing branch August 2, 2022 17:42
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