Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Editorial pass on Overview #13

Merged
merged 1 commit into from
Jan 24, 2024

Conversation

benjie
Copy link
Member

@benjie benjie commented Jan 24, 2024

@michaelstaib I've reworded the Overview a bit to try and avoid ambiguity and misinterpretation of the text; however given I am not yet familiar with this specification I may have got some things wrong - please feel free to make any edits to this that you need to, or discard it entirely.

@benjie benjie requested a review from michaelstaib January 24, 2024 11:19
@michaelstaib
Copy link
Member

Thanks Benjie!

@michaelstaib michaelstaib merged commit 71198b0 into mst/clean-up-terms Jan 24, 2024
3 checks passed
@michaelstaib michaelstaib deleted the mst/clean-up-terms-tweaks branch January 24, 2024 11:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants