Skip to content

[pull] master from pytorch:master#45

Merged
pull[bot] merged 1 commit intopeterjc123:masterfrom
pytorch:master
Sep 27, 2019
Merged

[pull] master from pytorch:master#45
pull[bot] merged 1 commit intopeterjc123:masterfrom
pytorch:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull Bot commented Sep 27, 2019

See Commits and Changes for more details.


Created by pull[bot]. Want to support this open source service? Please star it : )

…26830)

Summary:
Pull Request resolved: #26830

Fixes #26817

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

Test Plan: Imported from OSS

Differential Revision: D17608535

Pulled By: ezyang

fbshipit-source-id: 18b47af508bd606391b1e6436cefe586b9926ace
@pull pull Bot added the ⤵️ pull label Sep 27, 2019
@pull pull Bot merged commit 76a76a6 into peterjc123:master Sep 27, 2019
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.

1 participant