Skip to content

Conversation

@pmeier
Copy link
Contributor

@pmeier pmeier commented Feb 15, 2023

This was missed in #7254. As a result the lint job is failing.

cc @vfdev-5 @bjuncek

@pmeier
Copy link
Contributor Author

pmeier commented Feb 15, 2023

@pmeier pmeier merged commit d010e82 into pytorch:main Feb 15, 2023
@pmeier pmeier deleted the lint branch February 15, 2023 19:24
facebook-github-bot pushed a commit that referenced this pull request Mar 28, 2023
Reviewed By: vmoens

Differential Revision: D44416547

fbshipit-source-id: 07fd0c89e3a2d4ec0d7d44592786f6d431c5476e
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.

3 participants