Skip to content

Delete more tabs, fix lint.#21142

Closed
ezyang wants to merge 2 commits intogh/ezyang/151/basefrom
gh/ezyang/151/head
Closed

Delete more tabs, fix lint.#21142
ezyang wants to merge 2 commits intogh/ezyang/151/basefrom
gh/ezyang/151/head

Conversation

@ezyang
Copy link
Contributor

@ezyang ezyang commented May 30, 2019

Stack from ghstack:

Signed-off-by: Edward Z. Yang ezyang@fb.com

Differential Revision: D15555285

Signed-off-by: Edward Z. Yang <ezyang@fb.com>
@pytorchbot pytorchbot added the oncall: jit Add this issue/PR to JIT oncall triage queue label May 30, 2019
Delete more tabs, fix lint.

Signed-off-by: Edward Z. Yang <ezyang@fb.com>

gh-metadata: pytorch pytorch 21142 gh/ezyang/151/head
@zou3519 zou3519 deleted the gh/ezyang/151/head branch May 30, 2019 13:39
@facebook-github-bot
Copy link
Contributor

@ezyang merged this pull request in fffffde.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Merged oncall: jit Add this issue/PR to JIT oncall triage queue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants