Looks good, thanks! Comments inline.
Also, do we need to regenerate tests/ from tests.in/ before upload? I assume we do need to do this, because the source previously contains a generated tests/ that matches tests.in/, and now it won't.
« Back to merge proposal
Looks good, thanks! Comments inline.
Also, do we need to regenerate tests/ from tests.in/ before upload? I assume we do need to do this, because the source previously contains a generated tests/ that matches tests.in/, and now it won't.