​> For the record, I also asked Yichao to have a look at a comment one of
our

This issue has been resolved.

At which point, I think we're good to move? Any final objections?

Reply via email to