Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

x37v
Copy link
Contributor

@x37v x37v commented Jun 7, 2021

extra ] at the end.

Pull Request Overview

This pull request fixes a broken link

Testing Strategy

n/a

TODO or Help Wanted

n/a

Documentation Updated

n/a

Formatting

n/a

extra ] at the end.
@github-actions github-actions bot added the tock-libraries This affects libraries supported by the Tock project label Jun 7, 2021
@lschuermann lschuermann added the P-Upkeep This a relatively minor change, or one that is limited in scope, and requires less scrutiny. label Jun 7, 2021
Copy link
Member

@lschuermann lschuermann left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

bors r+

@bors
Copy link
Contributor

bors bot commented Jun 7, 2021

@bors bors bot merged commit 67fa245 into tock:master Jun 7, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
P-Upkeep This a relatively minor change, or one that is limited in scope, and requires less scrutiny. tock-libraries This affects libraries supported by the Tock project
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants