junrushao1994 commented on PR #11108: URL: https://github.com/apache/tvm/pull/11108#issuecomment-1156260572
> I have only one comment in there. Once that is fixed, I'm happy for this PR to be merged. Looks like this thread has been inactive for a month, while according to the conversation above, the PR itself has been mature enough to merge. To this end, to quickly unblock our open-source contributors, I would love to propose that we create a new PR based on the latest HEAD, and get it merged as soon as we could. -- 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. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
