Closed joshuagl closed 1 year ago
I pushed an additional commit to include suggestions from @thiswayman, thanks!
What are next steps for this, should there be a vote during a WG meeting or is it sufficient for the chair to approve/merge? cc @jonmuk
While reviewing the OSCM in #4 I made various suggestions which @jonmuk requested I file a separate PR for. This is the requested PR.
Each change is as a separate git commit for easier review and cherry-picking. I propose we: