You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2021/06/21 09:48:03 UTC

[GitHub] [tvm] Mousius commented on pull request #8283: [microTVM] Refactor uTVM to microTVM

Mousius commented on pull request #8283:
URL: https://github.com/apache/tvm/pull/8283#issuecomment-864895796


   This is a great improvement @mehrdadh, I agree `microTVM` is the most correct as I had similar feelings towards the awkwardness of `µTVM` -> `uTVM` (and `µ` broke one of my scripts :crying_cat_face:). Thanks for proposing this :smile_cat: 
   
   One small thing that follows on from @leandron's comment is that there are also some `µ`s hiding in `NEWS.md` and `CONTRIBUTORS.md`


-- 
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:
users@infra.apache.org