8000 doc: wg: DOC: add date by bradjc · Pull Request #3831 · tock/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

doc: wg: DOC: add date #3831

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
Feb 2, 2024
Merged

doc: wg: DOC: add date #3831

merged 1 commit into from
Feb 2, 2024

Conversation

bradjc
Copy link
Contributor
@bradjc bradjc commented Feb 2, 2024

Pull Request Overview

This pull request adds the adopted date to the DOC wg.

Testing Strategy

This pull request was tested by...

TODO or Help Wanted

This pull request still needs...

Documentation Updated

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

Formatting

  • Ran make prepush.

@lschuermann lschuermann added this pull request to the merge queue Feb 2, 2024
Merged via the queue into master with commit 7c60633 Feb 2, 2024
@lschuermann lschuermann deleted the wg-doc-date branch February 2, 2024 20:38
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.

2 participants
0