Remove unneeded headers #21393
Closed
Remove unneeded headers #21393
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
dskhudia
force-pushed
the
export-D15635188
branch
from
cea8adc
to
510f5e1
Compare
dskhudia
force-pushed
the
export-D15635188
branch
from
510f5e1
to
5813b61
Compare
Summary: Pull Request resolved: pytorch#21393 Result of splitting the base diff. We moved a header from src/* to include/fbgemm/* Reviewed By: jianyuh Differential Revision: D15635188 fbshipit-source-id: 6f18cd2c633140d9018e2288af553bd43f61856b
dskhudia
force-pushed
the
export-D15635188
branch
from
5813b61
to
1e402bb
Compare
|
This pull request has been merged in 80a083e. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Summary: Result of splitting the base diff. We moved a header from src/* to include/fbgemm/*
Differential Revision: D15635188