8000 Notes from Core Working Group call, Sep 09 by brghena · Pull Request #3207 · tock/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Notes from Core Working Group call, Sep 09 #3207

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

Merged
merged 1 commit into from
Sep 16, 2022
Merged

Conversation

brghena
Copy link
Contributor
@brghena brghena commented Sep 9, 2022

Pull Request Overview

Notes from the Core Working Group call on September 9th, 2022.

Rendered

Testing Strategy

This pull request was tested by spellcheck.

TODO or Help Wanted

Just check that I didn't mis-represent any arguments.

Documentation Updated

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

Formatting

  • [N/A] Ran make prepush.

@bradjc bradjc merged commit 93d50be into master Sep 16, 2022
@bors bors bot deleted the core-notes-2022-09-09 branch September 16, 2022 18:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants
0