Skip to content

Conversation

@pcuenca
Copy link
Member

@pcuenca pcuenca commented Oct 4, 2022

There were casting operations before, they are now gone.

There were casting operations before, they are now gone.
@HuggingFaceDocBuilderDev
Copy link

HuggingFaceDocBuilderDev commented Oct 4, 2022

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

Copy link
Contributor

@patrickvonplaten patrickvonplaten left a comment

Choose a reason for hiding this comment

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

Thanks!

@pcuenca pcuenca merged commit 6b22192 into main Oct 4, 2022
@pcuenca pcuenca deleted the remove-cast-comments branch October 4, 2022 15:00
prathikr pushed a commit to prathikr/diffusers that referenced this pull request Oct 26, 2022
Remove comments no longer appropriate.

There were casting operations before, they are now gone.
yoonseokjin pushed a commit to yoonseokjin/diffusers that referenced this pull request Dec 25, 2023
Remove comments no longer appropriate.

There were casting operations before, they are now gone.
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.

4 participants