8000 Network working group meeting notes, October 5th by brghena · Pull Request #3705 · tock/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Network working group meeting notes, October 5th #3705

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
Oct 11, 2023

Conversation

brghena
Copy link
Contributor
@brghena brghena commented Oct 6, 2023

Pull Request Overview

This pull request adds notes from the Network Working Group call on October 5th, 2023.

Rendered

Testing Strategy

This pull request was tested by lookin' at it.

TODO or Help Wanted

Should be good to go

Documentation Updated

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

Formatting

  • [N/A] Ran make prepush.

8000
@github-actions github-actions bot added documentation WG-Network In the purview of the Network working group. labels Oct 6, 2023
@jrvanwhy
Copy link
Contributor
jrvanwhy commented Oct 6, 2023

PR description says "Core Working Group" when it should be "Networking Working Group".

@bradjc bradjc added this pull request to the merge queue Oct 11, 2023
Merged via the queue into master with commit a59ed55 Oct 11, 2023
@bradjc bradjc deleted the network-notes-2023-10-05 branch October 11, 2023 15:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation WG-Network In the purview of the Network working group.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants
0