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: StringValue #854

Merged
merged 1 commit into from Apr 15, 2021
Merged

Editorial: StringValue #854

merged 1 commit into from Apr 15, 2021

Conversation

leebyron
Copy link
Collaborator

This factors out the purely editorial changes from #849 to land them earlier and make that particular PR's changes easier to read.

This factors out the purely editorial changes from #849 to land them earlier and make that particular PR's changes easier to read.
@leebyron leebyron requested review from benjie, andimarek and a team April 15, 2021 18:19
@leebyron leebyron added the ✏️ Editorial PR is non-normative or does not influence implementation label Apr 15, 2021
@leebyron leebyron added this to the May2021 milestone Apr 15, 2021
@leebyron leebyron merged commit dee879d into main Apr 15, 2021
@leebyron leebyron deleted the editorial-string-value branch April 15, 2021 21:02
leebyron added a commit that referenced this pull request Apr 15, 2021
This factors out the purely editorial changes from #849 to land them earlier and make that particular PR's changes easier to read.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
✏️ Editorial PR is non-normative or does not influence implementation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant