Skip to content

Conversation

@gchanan
Copy link
Contributor

@gchanan gchanan commented Oct 5, 2018

This is to move us along the path to removing Type from the public API.

This is to move us along the path to removing Type from the public API.
Copy link
Contributor

@facebook-github-bot facebook-github-bot left a comment

Choose a reason for hiding this comment

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

gchanan has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@gchanan
Copy link
Contributor Author

gchanan commented Oct 5, 2018

@pytorchbot retest this please.

@gchanan gchanan mentioned this pull request Oct 5, 2018
zdevito pushed a commit to zdevito/ATen that referenced this pull request Oct 5, 2018
… (#12355)

Summary:
This is to move us along the path to removing Type from the public API.
Pull Request resolved: pytorch/pytorch#12355

Reviewed By: ezyang

Differential Revision: D10212616

Pulled By: gchanan

fbshipit-source-id: c9cd128d1111ab219cb0b2f3bf5b632502ab97c0
gchanan added a commit to gchanan/pytorch that referenced this pull request Oct 5, 2018
…pytorch#12355)

Summary:
This is to move us along the path to removing Type from the public API.
Pull Request resolved: pytorch#12355

Reviewed By: ezyang

Differential Revision: D10212616

Pulled By: gchanan

fbshipit-source-id: c9cd128d1111ab219cb0b2f3bf5b632502ab97c0
@ezyang ezyang added the merged label Jun 26, 2019
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