I added one last minor nits. @mbs-octoml @csullivan @areusch please take another look and let us merge in 24 h
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/tvm-rfcs/pull/23#issuecomment-931277165
