mdw-octoml commented on pull request #7869: URL: https://github.com/apache/tvm/pull/7869#issuecomment-822951165
I feel like that should be a separate PR. If you can tell me where to make the change, I will, but in general one should avoid mixing unrelated changes in a single PR. On Mon, Apr 19, 2021 at 6:08 PM Tristan Konolige ***@***.***> wrote: > Yeah, try bumping it to something larger. > > — > You are receiving this because you were mentioned. > Reply to this email directly, view it on GitHub > <https://github.com/apache/tvm/pull/7869#issuecomment-822895743>, or > unsubscribe > <https://github.com/notifications/unsubscribe-auth/APEJO5FMUWVSGG4T46LSSCLTJTH2XANCNFSM43CNTCQQ> > . > -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
