Skip to content

Conversation

NicolasHug
Copy link
Member

Cherry pick of #6176

@NicolasHug NicolasHug marked this pull request as ready for review June 16, 2022 14:01
@NicolasHug
Copy link
Member Author

@atalman this is a pure-docs PR. Would it be OK to include it as well? Thanks!

Copy link
Contributor

@datumbox datumbox left a comment

Choose a reason for hiding this comment

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

LGTM, let's wait for @atalman to confirm but given we just merged #6175, it will probably be OK.

Copy link
Contributor

@atalman atalman left a comment

Choose a reason for hiding this comment

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

LGTM

@atalman atalman merged commit da3794e into pytorch:release/0.13 Jun 17, 2022
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.

4 participants