Skip to content

Conversation

@kevinthesun
Copy link
Contributor

This reverts PR: #4938.

@tqchen @notoraptor

@kevinthesun
Copy link
Contributor Author

@notoraptor Can you make another PR after this is merged? Thanks!

@notoraptor
Copy link
Contributor

Ok ! So, I wait for this PR to be merged.

@masahi masahi merged commit c0bc188 into apache:master Mar 10, 2020
@kevinthesun kevinthesun deleted the RevertaddoperationtantoTVM branch March 23, 2020 17:33
trevor-m pushed a commit to trevor-m/tvm that referenced this pull request Apr 16, 2020
zhiics pushed a commit to neo-ai/tvm that referenced this pull request Apr 17, 2020
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