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

Core WG notes for September 11 #2105

Merged
merged 2 commits into from Sep 17, 2020
Merged

Core WG notes for September 11 #2105

merged 2 commits into from Sep 17, 2020

Conversation

brghena
Copy link
Contributor

@brghena brghena commented Sep 11, 2020

Pull Request Overview

Core working group notes from call on September 11

Testing Strategy

N/A

TODO or Help Wanted

N/A

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • [N/A] Ran make prepush.

ppannuto
ppannuto previously approved these changes Sep 11, 2020
@ppannuto ppannuto added the last-call Final review period for a pull request. label Sep 13, 2020
@bradjc bradjc merged commit 375de8d into master Sep 17, 2020
@bors bors bot deleted the core-notes-2020-09-11 branch September 17, 2020 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
last-call Final review period for a pull request.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

6 participants