I've approved the changes @vegaluisjose @tqchen. There seems to be an issue with the pr-merge CI; perhaps the branch should be re-based?
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/dmlc/tvm/pull/3010#issuecomment-490158867
