Skip to content

Remove unused substitutions#10187

Closed
smessmer wants to merge 2 commits intopytorch:masterfrom
smessmer:export-D9141567
Closed

Remove unused substitutions#10187
smessmer wants to merge 2 commits intopytorch:masterfrom
smessmer:export-D9141567

Conversation

@smessmer
Copy link
Contributor

@smessmer smessmer commented Aug 2, 2018

Summary: These substitutions don't actually occur in the target file. Remove them.

Reviewed By: ezyang

Differential Revision: D9141567

Summary: Update some include paths to make them internally consistent

Differential Revision: D9119906

fbshipit-source-id: d46a031acd8f8cd5bd0a5ab6d1d6c86e403767fb
Summary:
Pull Request resolved: pytorch#10187

These substitutions don't actually occur in the target file. Remove them.

Reviewed By: ezyang

Differential Revision: D9141567

fbshipit-source-id: f0fff969d9826a9b3e9c394453aa37a8d41c77d3
goodlux pushed a commit to goodlux/pytorch that referenced this pull request Aug 15, 2018
Summary:
Pull Request resolved: pytorch#10187

These substitutions don't actually occur in the target file. Remove them.

Reviewed By: ezyang

Differential Revision: D9141567

fbshipit-source-id: fcfddee0b4d31e21763b39d852577d2dbb9ce843
@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.

2 participants