@tqchen Just a minor naming issue:
Which one do you prefer? `.add_attr_option` or `.add_config_option` --- [Visit Topic](https://discuss.tvm.ai/t/rfc-tvm-target-specification/6844/34) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/fff2ea34a71221ec185300585aafb65234ccc934387b3dd194fcef9bf0097969).
