Lunderberg edited a comment on pull request #8670: URL: https://github.com/apache/tvm/pull/8670#issuecomment-895139850
Ooh, it looks like there is one change that, that the executable file permission has been set. I hadn't noticed that one, as the file contents are the same. (I have my editor set the executable bit if there is a `#!` shebang at the top of the file.). That's probably why it is showing up in the diff at all, because the permissions changed. I fine with the executable bit either way, but can revert it if we'd like. -- 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]
