AlexanderSerov commented on pull request #7942: URL: https://github.com/apache/tvm/pull/7942#issuecomment-841042150
@masahi I do so. This tool just delete a problem line and don't say why. Also I tried to make changes from different text redactors - the same. If you understand linting, can you resolve the issue instead of me as this will be a lot faster. This issues marked as contributors can make change. -- 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]
