Skip to content

Editorial: root types #842

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.

Sign up for GitHub

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

Jump to bottom
Merged
leebyron merged 1 commit into from
Apr 7, 2021
Merged

Editorial: root types #842

leebyron merged 1 commit into from
Apr 7, 2021

Conversation

@leebyron
Copy link
Collaborator

@leebyron leebyron commented Apr 7, 2021

Clarify use of root types and improve formatting. Factored out of #777

@leebyron
Editorial: root types
ba80bc9 
Clarify use of root types and improve formatting. Factored out of #777
@leebyron leebyron added the ✏️ Editorial PR is non-normative or does not influence implementation label Apr 7, 2021
@leebyron leebyron added this to the May2021 milestone Apr 7, 2021
@leebyron leebyron requested review from a team and benjie April 7, 2021 21:59
@leebyron leebyron merged commit 2c2cea7 into main Apr 7, 2021
@leebyron leebyron deleted the editorial-root-types branch April 7, 2021 22:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@benjie benjie Awaiting requested review from benjie

Assignees

No one assigned

Labels

✏️ Editorial PR is non-normative or does not influence implementation

Projects

None yet

Milestone

October2021

Development

Successfully merging this pull request may close these issues.

2 participants

@leebyron