8000 doc: notes: update dates and format by bradjc · Pull Request #3424 · tock/tock · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

doc: notes: update dates and format #3424

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
Apr 17, 2023
Merged

doc: notes: update dates and format #3424

merged 1 commit into from
Apr 17, 2023

Conversation

bradjc
Copy link
Contributor
@bradjc bradjc commented Apr 17, 2023

Pull Request Overview

Just a couple of minor fixes to documentation dates and formatting I found.

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.

@brghena
Copy link
Contributor
brghena commented Apr 17, 2023

bors r+

bors bot added a commit that referenced this pull request Apr 17, 2023
3424: doc: notes: update dates and format r=brghena a=bradjc

### Pull Request Overview

Just a couple of minor fixes to documentation dates and formatting I found.


### Testing Strategy

This pull request was tested by...


### TODO or Help Wanted

This pull request still needs...


### Documentation Updated

- [x] Updated the relevant files in `/docs`, or no updates are required.

### Formatting

- [x] Ran `make prepush`.


Co-authored-by: Brad Campbell <bradjc5@gmail.com>
@bors
Copy link
Contributor
bors bot commented Apr 17, 2023

Timed out.

@brghena
Copy link
Contributor
brghena commented Apr 17, 2023

bors r+

@bors
Copy link
Contributor
bors bot commented Apr 17, 2023

@bors bors bot merged commit 56f7135 into master Apr 17, 2023
@bors bors bot deleted the update-notes-format branch April 17, 2023 22:34
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