Re: [apache/tvm-rfcs] [RFC][TVMScript] New namespace for tvmscript (#36)

[Junru Shao]

Thanks guys for the discussion! The RFC is merged :-)

-- 
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/36#issuecomment-930344604