Lunderberg commented on pull request #8151: URL: https://github.com/apache/tvm/pull/8151#issuecomment-849971500
Build error fixed. Thank you for the catch, and definitely time for me to set up a pre-commit hook, since I've forgotten both this and linting in the past. -- 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]
